Jonathan Graveline pushed to branch graveline at Stefan / Typer

Commits: 4a0ed5b5 by Jonathan Graveline at 2018-05-07T22:37:20Z -lib nums to -pkg num - - - - -

1 changed file:

- GNUmakefile

Changes:

===================================== GNUmakefile ===================================== --- a/GNUmakefile +++ b/GNUmakefile @@ -8,7 +8,7 @@ SRC_FILES := $(wildcard ./src/*.ml) CPL_FILES := $(wildcard ./$(BUILDDIR)/src/*.cmo) TEST_FILES := $(wildcard ./tests/*_test.ml)

-OBFLAGS = -tag debug -tag profile -lib nums -build-dir $(BUILDDIR) +OBFLAGS = -tag debug -tag profile -build-dir $(BUILDDIR) -pkg num # OBFLAGS := -I $(SRCDIR) -build-dir $(BUILDDIR) -pkg str # OBFLAGS_DEBUG := -tag debug -tag profile -tag "warn(+20)" # OBFLAGS_RELEASE := -tag unsafe -tag inline

View it on GitLab: https://gitlab.com/monnier/typer/commit/4a0ed5b561de96d085186e518983bcb28585...