Skip to content
Snippets Groups Projects
Commit 95fd6d60 authored by Forget Julien's avatar Forget Julien
Browse files

Added debug flag to show the stack trace (commented out).

parent a9a21a93
No related branches found
No related tags found
1 merge request!2parametric computation works again
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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment