forked from pascal-cuoq/abstract_floats
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMakefile
More file actions
16 lines (13 loc) · 671 Bytes
/
Makefile
File metadata and controls
16 lines (13 loc) · 671 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
all: build
build: rounding_stub.c float.ml test.ml dichotomy.ml dichotomy_test.ml
ocamlfind ocamlopt -package num -c -g -unsafe rounding_stub.c float.ml
ocamlfind ocamlopt -c -g -unsafe test.ml
ocamlfind ocamlopt -linkpkg -g -unsafe -package num rounding_stub.o float.cmx test.cmx -o test.out
ocamlfind ocamlopt -package num -c -g -unsafe dichotomy.ml
ocamlfind ocamlopt -c -g -unsafe dichotomy_test.ml
ocamlfind ocamlopt -linkpkg -g -unsafe -package num dichotomy.cmx dichotomy_test.cmx -o test_dich.out
drift: d2.ml
ocamlopt d2.ml -inline 1000 -o drift
clean:
rm -rf coverage _build drift *.log
rm -f *.cmo *.cmi *.cmx *.cmp *.out *.html *.o *.so *.a *.cma