From 82cbf879561a37ad75da657a481fccdbcb6e4cd2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de> Date: Tue, 28 Jan 2014 23:40:33 +0100 Subject: [PATCH] Disable debug compile flag -g everywhere --- GMLMIP-0.1/config.mk | 2 +- Makefile | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/GMLMIP-0.1/config.mk b/GMLMIP-0.1/config.mk index a3daed3..9b5d1ab 100644 --- a/GMLMIP-0.1/config.mk +++ b/GMLMIP-0.1/config.mk @@ -3,5 +3,5 @@ BISON = bison LEX = flex GCC = g++ -GCCFLAGS = -g -Wall -Wno-deprecated +GCCFLAGS = -Wall -Wno-deprecated diff --git a/Makefile b/Makefile index 5ecf6c0..5651da9 100644 --- a/Makefile +++ b/Makefile @@ -48,9 +48,9 @@ CXXFLAGS += -Wall $(INCS) LDXX ?= g++ OCAMLC := ocamlc.opt -OCAMLCFLAGS := -g -I `ocamlfind query ocamlgraph` +OCAMLCFLAGS := -I `ocamlfind query ocamlgraph` OCAMLOPT := ocamlopt.opt -OCAMLOPTFLAGS := -g -cc $(LDXX) -cclib -static -unsafe -inline 100 -I `ocamlfind query ocamlgraph` +OCAMLOPTFLAGS := -cc $(LDXX) -cclib -static -unsafe -inline 100 -I `ocamlfind query ocamlgraph` # No more user input beyond this point. -- GitLab