diff --git a/Makefile b/Makefile index 83499c3ab..4956b647e 100644 --- a/Makefile +++ b/Makefile @@ -120,8 +120,8 @@ WEBLANGEXTS:=\ PREFERMACUSRLIBFLAGS=-L/usr/lib GHCMEMFLAGS= #+RTS -M200m -RTS BUILDFLAGS1:=-rtsopts $(WARNINGS) $(INCLUDEPATHS) $(PREFERMACUSRLIBFLAGS) $(GHCMEMFLAGS) -DPATCHLEVEL=$(PATCHLEVEL) -DBLAZE_HTML_0_5 -DDEVELOPMENT -BUILDFLAGS:=$(BUILDFLAGS1) -DVERSION='"$(VERSION)"' -AUTOBUILDFLAGS:=$(BUILDFLAGS1) -DVERSION='\"$(VERSION)\"' # different quoting for sp +BUILDFLAGS:=$(BUILDFLAGS1) -DVERSION='"$(VERSION)dev"' +AUTOBUILDFLAGS:=$(BUILDFLAGS1) -DVERSION='\"$(VERSION)dev\"' # different quoting for sp PROFBUILDFLAGS:=-prof -fprof-auto -osuf hs_p LINUXRELEASEBUILDFLAGS:=-DMAKE $(WARNINGS) $(INCLUDEPATHS) -O2 -static -optl-static -optl-pthread MACRELEASEBUILDFLAGS:=-DMAKE $(WARNINGS) $(INCLUDEPATHS) $(PREFERMACUSRLIBFLAGS) -O2 # -optl-L/usr/lib