diff --git a/c++/build.sh b/c++/build.sh new file mode 100755 index 000000000..e829332f0 --- /dev/null +++ b/c++/build.sh @@ -0,0 +1,9 @@ +if g++ -fopenmp -o example example.cpp -lz3; then + echo "Example was successfully compiled." + echo "To run example, execute:" + echo " ./example" +else + echo "You must install Z3 before compiling this example." + echo "To install Z3, execute the following command in the Z3 root directory." + echo " sudo make install" +fi