mirror of
https://github.com/Z3Prover/z3
synced 2025-11-04 13:29:11 +00:00
9 lines
313 B
YAML
9 lines
313 B
YAML
steps:
|
|
- script: |
|
|
cd build
|
|
mkdir -p examples/java
|
|
cp ../examples/java/JavaExample.java examples/java/
|
|
javac examples/java/JavaExample.java -classpath com.microsoft.z3.jar
|
|
export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH}
|
|
java -cp .:examples/java:com.microsoft.z3.jar JavaExample
|
|
cd ..
|