12 lines
444 B
Diff
12 lines
444 B
Diff
--- acg-1.1-20140905/src/Makefile.master.in 2014-10-27 10:59:42.263382081 +0100
|
|
+++ acg-1.1-20140905/src/Makefile.master.in.new 2014-10-27 10:59:59.683597972 +0100
|
|
@@ -23,7 +23,7 @@
|
|
# All warnings are treated as errors
|
|
WARNINGS = @OCAML09WARNINGS@ -warn-error A
|
|
COMMONFLAGS= $(WARNINGS) @TYPES@
|
|
-BYTEFLAGS = $(COMMONFLAGS) $(DEBUGFLAG)
|
|
+BYTEFLAGS = $(COMMONFLAGS) $(DEBUGFLAG) $(NIX_OCAML_BYTEFLAGS)
|
|
OPTFLAGS = $(COMMONFLAGS)
|
|
LFLAGS= -a
|
|
|