Michael Tautschnig
|
e247a29b02
|
CodeBuild: Remove empty artifact stanza
It seems that CodeBuild has become more picky about this, making builds fail
when the list of artifacts resolves to an empty list.
|
2018-08-11 09:26:53 +00:00 |
Daniel Kroening
|
cd4a163fb8
|
AWS codebuild windows: set clcache base directory
|
2018-08-06 13:35:32 +01:00 |
Daniel Kroening
|
1ba928cfed
|
cleanup unnecessary path from configuration file
|
2018-08-06 13:35:32 +01:00 |
Daniel Kroening
|
3a9c8254ad
|
Merge pull request #2682 from diffblue/fix-clcache
Codebuild for windows: set up cache path properly
|
2018-08-04 18:41:44 +01:00 |
Daniel Kroening
|
5bc7456787
|
goto-cl: /Fo can set an output directory
|
2018-08-04 16:04:19 +01:00 |
Daniel Kroening
|
4ad91fb014
|
Codebuild for windows: set up cache path properly
|
2018-08-04 15:33:47 +01:00 |
Daniel Kroening
|
63652fcb22
|
add clcache to Windows build
This sets up clcache for the AWS Codebuild Windows builds.
clcache is a clone of ccache for Visual Studio CL.
|
2018-08-01 16:12:22 +01:00 |
Daniel Kroening
|
53d24e59db
|
the jbmc tests now work on Windows
|
2018-07-17 19:15:01 +01:00 |
Peter Schrammel
|
b34e951e52
|
Use submodule to download java-models-library
|
2018-07-09 21:13:37 +01:00 |
Michael Tautschnig
|
e00c6ee8bf
|
Set BUILD_ENV via make variable instead of patching via sed
|
2018-06-21 13:04:24 +01:00 |
Daniel Kroening
|
8b2fc415fe
|
mark gcc tests as 'gcc-only' to prevent execution by goto-cl on Windows
|
2018-06-12 22:08:36 +01:00 |
Daniel Kroening
|
1d93fa1d7c
|
Visual Studio packs bit-fields differently
|
2018-06-12 19:22:06 +01:00 |
Daniel Kroening
|
7a3a07f1fe
|
fix test result for goto-cl
|
2018-06-10 16:13:30 +01:00 |
Daniel Kroening
|
bdd5bbb6b0
|
ask CL preprocessor for UTF-8 output
|
2018-06-09 17:20:16 +01:00 |
Daniel Kroening
|
d4cd32d664
|
AWS codebuild buildspec for Windows
|
2018-06-09 12:09:30 +01:00 |