Skip to content

GitLab

Commit b1c8884c authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Set the OCAMLFLAGS in Makefile.common.source (vs all Makefiles).

parent ecf174c3
Hide whitespace changes
Inline Side-by-side
Makefile.common.source
View file @ b1c8884c
......@@ -184,6 +184,15 @@ else
CC=gcc -g -O2 -fpic
OCAMLFLAGS =
OCAMLNCFLAGS =
ifdef SPEED
OCAMLFLAGS = -noassert -unsafe
OCAMLNCFLAGS = -inline 10
endif
endif
endif
endif
......
source/Lucky/Makefile.gen_fake_lucky
View file @ b1c8884c
......@@ -4,11 +4,6 @@ include $(LURETTE_PATH)/Makefile.common.source
include $(LURETTE_PATH)/source/Makefile.ln
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I $(OBJDIR) -I $(OCAMLLIB) -I $(PREFIX)/$(HOSTTYPE)/lib
IDLFLAGS=-nocpp
......
source/Lucky/Makefile.luc2c
View file @ b1c8884c
......@@ -6,11 +6,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
######################################################################
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I $(OBJDIR) -I $(OCAMLLIB) -I $(PREFIX)/$(HOSTTYPE)/lib
IDLFLAGS=-nocpp
......
source/Lucky/Makefile.luc2luciole
View file @ b1c8884c
......@@ -4,11 +4,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
######################################################################
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I $(OBJDIR) -I $(OCAMLLIB) -I $(PREFIX)/$(HOSTTYPE)/lib
IDLFLAGS=-nocpp
......
source/Lucky/Makefile.luc4c
View file @ b1c8884c
......@@ -7,13 +7,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
######################################################################
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
CC=$(GCC) -g -O2 $(DWIN32)
......
source/Lucky/Makefile.luc4ocaml
View file @ b1c8884c
......@@ -7,11 +7,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
######################################################################
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
STATIC=yes
......
source/Lucky/Makefile.lucky
View file @ b1c8884c
......@@ -10,11 +10,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
#STATIC=yes
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I $(OBJDIR) -I $(OCAMLLIB) -I $(PREFIX)/$(HOSTTYPE)/lib
IDLFLAGS=-nocpp
......
source/Lucky/Makefile.show_luc
View file @ b1c8884c
......@@ -7,12 +7,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
######################################################################
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I $(OBJDIR) -I $(OCAMLLIB) -I $(PREFIX)/$(HOSTTYPE)/lib
IDLFLAGS=-nocpp
......
source/Lurettetop/Makefile.lurettetop
View file @ b1c8884c
......@@ -7,11 +7,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
LIBS = unix str
CLIBS =
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
ifdef STATIC
OCAMLLDFLAGS = -cclib -ldl -cclib -lm -cclib -lc -ccopt -static
......
source/Lutin/Makefile.lutin
View file @ b1c8884c
......@@ -10,11 +10,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
#STATIC=yes
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I $(OBJDIR) -I $(OCAMLLIB) -I $(PREFIX)/$(HOSTTYPE)/lib
IDLFLAGS=-nocpp
......@@ -98,10 +93,14 @@ LURETTE_SOURCES=\
$(OBJDIR)/fair_bddd.ml \
$(OBJDIR)/solver.mli \
$(OBJDIR)/solver.ml \
$(OBJDIR)/show_env.mli \
$(OBJDIR)/show_env.ml \
$(OBJDIR)/prog.ml \
$(OBJDIR)/prog.mli \
$(OBJDIR)/fGen.mli \
$(OBJDIR)/fGen.ml \
$(OBJDIR)/lucParse.mli \
$(OBJDIR)/lucParse.ml \
$(OBJDIR)/lucky.mli \
$(OBJDIR)/lucky.ml \
$(OBJDIR)/rif.mli \
......@@ -145,12 +144,18 @@ SOURCES=\
$(OBJDIR)/expand.mli \
$(OBJDIR)/autoExplore.ml \
$(OBJDIR)/autoExplore.mli \
$(OBJDIR)/mainArg.mli \
$(OBJDIR)/mainArg.ml \
$(OBJDIR)/auto2Lucky.ml \
$(OBJDIR)/auto2Lucky.mli \
$(OBJDIR)/lutProg.ml \
$(OBJDIR)/lutProg.mli \
$(OBJDIR)/lucProg.ml \
$(OBJDIR)/lucProg.mli \
$(OBJDIR)/luciole.ml \
$(OBJDIR)/luc2alice.ml \
$(OBJDIR)/luc2c.mli \
$(OBJDIR)/luc2c.ml \
$(OBJDIR)/mainArg.mli \
$(OBJDIR)/mainArg.ml \
$(OBJDIR)/main.ml \
......
source/Makefile
View file @ b1c8884c
......@@ -297,6 +297,9 @@ lucky_debug_no_assert:
lutin:$(OBJDIR)
cd $(OBJDIR) && $(MAKE) -k ln -f ../*/Makefile.lutin && $(MAKE) -k nc -f ../*/Makefile.lutin
lutin_debug:$(OBJDIR)
cd $(OBJDIR) && $(MAKE) -k ln -f ../*/Makefile.lutin && $(MAKE) -k dc -f ../*/Makefile.lutin
lutin_clean:$(OBJDIR)
cd $(OBJDIR) && $(MAKE) -f ../*/Makefile.lutin clean
......
source/common/Makefile.gen_stubs
View file @ b1c8884c
......@@ -3,11 +3,6 @@
include $(LURETTE_PATH)/Makefile.common.source
include $(LURETTE_PATH)/source/Makefile.ln
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I $(OBJDIR) -I $(OCAMLLIB) -I $(PREFIX)/$(HOSTTYPE)/lib
IDLFLAGS=-nocpp
......
source/common/Makefile.luckyDraw
View file @ b1c8884c
......@@ -7,11 +7,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
######################################################################
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
STATIC=yes
......
source/common/Makefile.lurette4ocaml_I
View file @ b1c8884c
......@@ -8,11 +8,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
######################################################################
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I ../$(OBJDIR) -I $(OCAMLLIB) -I $(PREFIX)/$(HOSTTYPE)/lib
CC=gcc -O2 $(DWIN32)
......
source/common/Makefile.lurette4ocaml_II
View file @ b1c8884c
......@@ -8,11 +8,6 @@ include $(LURETTE_PATH)/source/Makefile.ln
######################################################################
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I ../$(OBJDIR) -I $(OCAMLLIB) -I $(PREFIX)/$(HOSTTYPE)/lib
CC=gcc -O2 $(DWIN32)
......
source/common/Makefile.lurette_lib
View file @ b1c8884c
......@@ -6,12 +6,6 @@ include $(LURETTE_PATH)/Makefile.common.source
include $(LURETTE_PATH)/source/Makefile.ln
######################################################################
OCAMLNCFLAGS = -inline 10
ifndef OCAMLFLAGS
#OCAMLFLAGS := -noassert -unsafe
OCAMLFLAGS := -unsafe
endif
OCAMLFLAGS += -I ../$(OBJDIR)
CC=$(GCC) -O2 $(DWIN32)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment