Commit 5a7785c3 authored by Heiko Becker's avatar Heiko Becker

Fix extraction path and add makefile for building binaries

parent 8402bdb6
......@@ -3,4 +3,4 @@ Require Import Coq.extraction.ExtrOcamlString Coq.extraction.ExtrOcamlBasic Coq.
Extraction Language Ocaml.
Extraction "CoqChecker.ml" runChecker.
\ No newline at end of file
Extraction "./binary/CoqChecker.ml" runChecker.
\ No newline at end of file
bytes:
ocamlc -c CoqChecker.mli
ocamlc -o coq_checker_bytes nums.cma big.ml CoqChecker.ml coq_main.ml
native:
ocamlc -c CoqChecker.mli
ocamlc -o coq_checker_native nums.cma big.ml CoqChecker.ml coq_main.ml
all: bytes native
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment