mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
10 lines
313 B
YAML
10 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 ..
|