[Git][monnier/typer][graveline] -lib nums to -pkg num
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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/4a0ed5b561de96d085186e518983bcb28585... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Jonathan Graveline