Skip to content
Snippets Groups Projects

parametric computation works again

Merged Grebant Sandro requested to merge caml2 into master
1 file
+ 3
2
Compare changes
  • Side-by-side
  • Inline
OCB = ocamlbuild
TARGET = swymplify
#OCBFLAGS=-cflags -g
all: native
mv main.native $(TARGET)
native:
$(OCB) main.native
$(OCB) $(OCBFLAGS) main.native
byte:
$(OCB) main.byte
debug:
$(OCB) -yaccflag -v
$(OCB) -yaccflag -v main.byte
clean:
$(OCB) -clean
Loading