Rolf Eike Beer
7f8e2a9f75
clean up CMake code ( #5182 )
...
* CMake: simplify FindGMP.cmake
Remove printing of all the different variables, and let FPHSA output the library
name. Add an imported target, which bundles the library and the include
directories for easier usage.
* fix build: vector::c_ptr() now is vector::data()
* CMake: use Threads::Threads imported module
Otherwise the setting of THREADS_PREFER_PTHREAD_FLAG has no effect.
* CMake: remove needless policy setting
The minimum required version is CMake 3.4, where these policies are already set
to new because they were introduced earlier.
* CMake: remove needless variable expansion
2021-04-14 10:29:15 -07:00
Nikolaj Bjorner
2d4e9a0f67
update managed APIs for lambda-based array models #2400
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2019-07-13 16:20:36 -04:00
Charlie Barto
167f968fa8
Change from BINARY_DIR to PROJECT_BINARY_DIR
2019-05-15 11:25:40 -07:00
Nikolaj Bjorner
785fe2f6f7
add main remaining updates from #1815
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2019-01-20 12:43:05 -08:00
Nikolaj Bjorner
cabe0ee447
integrating additional changes from @yatli pull request #1815
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2019-01-20 10:51:44 -08:00
Nikolaj Bjorner
37d9e6d811
incrementally adding files from dotnet core pull request from @yatli
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2019-01-20 10:40:11 -08:00
Nikolaj Bjorner
038971c029
Revert "api: dotnet: switch to multi-targeting project and modern cmake-dotnet integration."
2019-01-16 10:21:56 -08:00
Yatao Li
43ee345f01
dotnet deps hack for test
2019-01-15 03:06:36 +09:00
Yatao Li
209ebecb86
cmake: dotnet: example: dotnet.csproj is NETCOREAPP
2019-01-14 00:51:44 +08:00
Yatao Li
f0f9a16f85
cmake: dotnet: example: program -> Program
2019-01-14 00:22:51 +08:00
Yatao Li
08adc1bf97
...
2019-01-13 23:15:40 +08:00
Yatao Li
8ebde41f35
dotnet: example: copy to binary dir before build
2019-01-13 22:45:05 +08:00
Yatao Li
5e79dba3d6
dotnet: move example project build to cmake
2019-01-13 00:03:37 +08:00
Yatao Li
f5b874e0a3
Merge branch 'master' of https://github.com/Z3Prover/z3
2018-12-29 16:27:00 +08:00
Nikolaj Bjorner
c802a0ac96
fix crash exposed by examples/dotnet/Program.cs
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-10-20 14:32:59 -07:00
Nikolaj Bjorner
3ba2aa2672
regressions in examples/dotnet/Program.cs
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-10-20 14:01:43 -07:00
Yatao Li
aae28bd0eb
CI: update dotnet example to coreclr 2.0
2018-09-12 14:26:21 +08:00
Nikolaj Bjorner
648a531950
update java example to bypass bit-rot
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-07-02 09:50:29 -07:00
Nikolaj Bjorner
e98c808f47
fixing compilation errors
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-05-03 03:18:29 -07:00
Nikolaj Bjorner
14d780fb2b
fix dotnet example
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-05-02 13:21:42 -07:00
Nikolaj Bjorner
9e59bba80e
fix dotnet example
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-05-02 13:20:51 -07:00
Bruce Mitchener
73b3da37d8
Typo fixes.
2018-01-02 22:48:06 +07:00
Nikolaj Bjorner
60af4a5820
deal with ambiguity
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2017-12-04 19:12:51 +05:30
Nikolaj Bjorner
0bfea99cff
fix issues found in parsing examples
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2017-12-01 14:43:52 -08:00
Nikolaj Bjorner
ab58723ffc
fix dotnet example
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2017-11-29 20:52:19 -08:00
