mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 08:39:57 +00:00
fix typos in script
This commit is contained in:
parent
79bbbf76d0
commit
1d4644f718
|
@ -3,7 +3,7 @@ steps:
|
|||
cd build
|
||||
mkdir -p examples/java
|
||||
cp ../examples/java/JavaExample.java examples/java/
|
||||
javac examples/java/Javaexamplejava -classpath com.microsoft.z3.jar
|
||||
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 ..
|
||||
|
|
Loading…
Reference in a new issue