Nikolaj Bjorner
6d17bcc5f7
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:19 +01:00
Nikolaj Bjorner
f9c0ab5496
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:19 +01:00
Nikolaj Bjorner
451e70afee
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
eda1e1bc8e
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
84fb0e5d5b
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
d520891043
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
b7f9d96c2d
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
d3265314f3
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
0086ac88bf
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
ab33150f8d
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
980f9fc57e
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
1996f8447c
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
3f6360df93
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
73c6759b68
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
8d76956964
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
3f7a2105d9
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
1c89fd32b5
remove reference to omp in legacy build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
721bb0d314
remove githash
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
3fd1a13dea
show output
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
c83c3a5fd7
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
f379a3f8b3
refer to z3.snk
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
35b36168a3
fix to 32
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
8f2cc6c03d
updated dist cmd wrapper
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-05 09:06:18 +01:00
Nikolaj Bjorner
8140edfd59
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 12:16:22 +02:00
Nikolaj Bjorner
da2fcac272
other path?
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-03 16:32:15 -07:00
Nikolaj Bjorner
dd4088dd25
update path
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-03 16:15:30 -07:00
Nikolaj Bjorner
ea7f2b788e
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 01:11:28 +02:00
Nikolaj Bjorner
5d3cf4d661
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 01:09:52 +02:00
Nikolaj Bjorner
471929ded4
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 01:04:58 +02:00
Nikolaj Bjorner
be570c212f
add windist cmd
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-03 16:04:15 -07:00
Nikolaj Bjorner
bdea36036d
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 00:51:07 +02:00
Nikolaj Bjorner
31b34310f1
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 00:46:50 +02:00
Nikolaj Bjorner
115e6e9efe
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 00:46:09 +02:00
Nikolaj Bjorner
3297ab181e
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 00:45:18 +02:00
Nikolaj Bjorner
5ea5cf4937
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 00:42:35 +02:00
Nikolaj Bjorner
35e2e6c82c
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 00:37:30 +02:00
Nikolaj Bjorner
5ae1de314d
Update azure-pipeline.vs.yaml for Azure Pipelines
2019-06-04 00:11:16 +02:00
Nikolaj Bjorner
f2098dc863
vs pipeline
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-03 15:08:03 -07:00
Nikolaj Bjorner
53514281d2
vs2017 pipeline
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-03 14:56:33 -07:00
Nikolaj Bjorner
d19eae1876
pipe v1
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-03 12:41:43 -07:00
Nikolaj Bjorner
11d7fca4d6
integrating another update by jfc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-03 08:15:11 -07:00
Nikolaj Bjorner
1155a29c6e
spelling
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-02 17:26:49 -07:00
Nikolaj Bjorner
51b75a132c
signed char -> int, update mk_util to catch warnings on fptest, thanks to jfc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-02 17:22:36 -07:00
Nikolaj Bjorner
60e4cad7f1
increase minor version number
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-05-31 17:01:42 -07:00
Nikolaj Bjorner
4d30639fd7
merge dotnetcore into dotnet
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-05-30 13:01:48 -07:00
Nikolaj Bjorner
6604aab1a2
remove dotnet as a build option
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-05-29 17:08:45 -07:00
Nikolaj Bjorner
30411b319a
update build scripts
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-05-29 17:02:45 -07:00
Louis Gesbert
5c0ad963c1
Fix z3 static link options
2019-05-23 09:49:32 +02:00
Nikolaj Bjorner
112e13eeea
Merge pull request #2292 from AltGr/ocaml-static-linking
...
Fix and enable OCaml static linking by default when --staticlib is specified
2019-05-22 17:26:00 +04:00
Louis Gesbert
9bb0c882fa
OCaml API build: provide static linking options by default
...
when --staticlib is enabled, the linker will still choose to
dynamically link upon encountering `-lz3` when generating an
executable through OCaml.
The interaction between the underlying C linker and OCaml make it very
hard to choose the static version instead. The present patch works
around this issue by copying `libz3.a` to `libz3-static.a`, and using
`-lz3-static` instead: the static version is chosen since no dynamic
one is found.
One can get back to dynamically linking by compiling without
`--staticlib`, or switching back to `-lz3`, but will in the latter
case run into the same problem with specifying the option; if that
needs to be made easier, we could provide two versions of the `cm(x)a`
which differ only by their linking options.
One last solution would be to remove `lz3` altogether from the linking
options included in the cm(x)a, requiring either `-lz3` or
`-lz3-static` to be specified at link time. Simpler and most flexible,
but requires an update of all users that link with the Z3 ml api...
2019-05-21 17:45:19 +02:00