mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

remove non-functional portions

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-06-07 16:48:16 -07:00
parent 9f02acffbb
commit bb10854f6a
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
azure-pipelines.yml
View file

@ -49,9 +49,9 @@ jobs:
# gccX86: # gccX86:
# cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)' # cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)'
# runUnitTest: 'True' # runUnitTest: 'True'
asan: # asan:
cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)' # cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)'
runUnitTest: 'False' # runUnitTest: 'False'
steps: steps:
- script: sudo apt-get install ninja-build - script: sudo apt-get install ninja-build
- script: | - script: |
@ -132,7 +132,6 @@ jobs:
examples/cpp_example_build_dir/cpp_example examples/cpp_example_build_dir/cpp_example
examples/tptp_build_dir/z3_tptp5 -help examples/tptp_build_dir/z3_tptp5 -help
examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt
# TBD: add python examples
mkdir -p examples/java mkdir -p examples/java
cp ../examples/java/JavaExample.java examples/java/ cp ../examples/java/JavaExample.java examples/java/
javac examples/java/Javaexamplejava -classpath com.microsoft.z3.jar javac examples/java/Javaexamplejava -classpath com.microsoft.z3.jar