diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-31 08:20:33 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-31 08:20:33 +0200 |
| commit | 4f02d4097ee9de547d863c654fb905e6492d8413 (patch) | |
| tree | a27c32c5aa6b13622188eb17d7c7f96bb0d30dee /lex/Makefile | |
| parent | 8ce1bf36874f702f5344ffaec6996deeb4d32689 (diff) | |
| download | ocaml-4f02d4097ee9de547d863c654fb905e6492d8413.tar.gz | |
Build system: ocaml{doc,lex} should be compiled and linked with -g
Diffstat (limited to 'lex/Makefile')
| -rw-r--r-- | lex/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lex/Makefile b/lex/Makefile index 03cf53ebd0..5812d8a1dc 100644 --- a/lex/Makefile +++ b/lex/Makefile @@ -32,9 +32,9 @@ OCAMLYACCFLAGS = -v CAMLC = $(BOOT_OCAMLC) -nostdlib -I $(ROOTDIR)/boot \ -use-prims $(ROOTDIR)/runtime/primitives -strict-sequence CAMLOPT = $(OCAMLRUN) $(ROOTDIR)/ocamlopt$(EXE) $(STDLIBFLAGS) -COMPFLAGS = -absname -w +a-4-9-41-42-44-45-48-70 -warn-error +A \ +COMPFLAGS = -g -absname -w +a-4-9-41-42-44-45-48-70 -warn-error +A \ -safe-string -strict-sequence -strict-formats -bin-annot -LINKFLAGS = +LINKFLAGS = -g OBJS=cset.cmo syntax.cmo parser.cmo lexer.cmo table.cmo lexgen.cmo \ compact.cmo common.cmo output.cmo outputbis.cmo main.cmo @@ -52,7 +52,7 @@ ocamllex$(EXE): $(OBJS) $(CAMLC) $(LINKFLAGS) -compat-32 -o $@ $^ ocamllex.opt$(EXE): $(OBJS:.cmo=.cmx) - $(CAMLOPT_CMD) -o $@ $^ + $(CAMLOPT_CMD) $(LINKFLAGS) -o $@ $^ clean:: rm -f $(programs) $(programs:=.exe) |