Commit abd86754 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Build the compiler

parent 79cc2961
......@@ -7,7 +7,7 @@ DKOS = $(
dkcheck -e -nc -r $<
all: $(DKOS)
all: $(DKOS) sigmaid.native
depend: .depend
......@@ -16,4 +16,7 @@ depend: .depend
rm -f *.dko .depend
ocamlbuild -use-menhir sigmaid.native
-include .depend
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