mirror of
https://github.com/Z3Prover/z3
synced 2026-02-25 09:41:19 +00:00
6 lines
157 B
Bash
6 lines
157 B
Bash
#!/bin/bash
|
|
|
|
ocamlc -o test_mlapi.byte -I ../../ocaml/ z3.cma test_mlapi.ml
|
|
ocamlopt -o test_mlapi -I ../../ocaml/ z3.cmxa test_mlapi.ml
|
|
|
|
rm *.cm{i,o,x} *.o
|