Makefile 162 Bytes
Newer Older
1
native:
2
	ocamlc -c big.ml
Heiko Becker's avatar
WIP  
Heiko Becker committed
3
	ocamlc -c CoqChecker.ml
4
	ocamlc -c CoqChecker.mli
5 6
	ocamlc -o coq_checker_native nums.cma big.ml CoqChecker.ml coq_main.ml

Heiko Becker's avatar
Merge  
Heiko Becker committed
7
all: native