From 0af1a24b17e054c393181b8197ae85fdc9581a76 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Mon, 5 Jun 2017 13:01:19 +0200 Subject: [PATCH] - don't meddle with profiling builds (error: -pg and -fomit-frame-pointer are incompatible) --- ocaml-CFLAGS.patch | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/ocaml-CFLAGS.patch b/ocaml-CFLAGS.patch index bc82280..092632d 100644 --- a/ocaml-CFLAGS.patch +++ b/ocaml-CFLAGS.patch @@ -16,9 +16,8 @@ Makefiles=$(find . -type f -name Makefile\*) +override CFLAGS += $(FLAGS) $(NATIVECCCOMPOPTS) DFLAGS=$(FLAGS) -g -DDEBUG $(NATIVECCCOMPOPTS) IFLAGS=$(FLAGS) -DCAML_INSTR --PFLAGS=$(FLAGS) -pg -DPROFILING $(NATIVECCPROFOPTS) $(NATIVECCCOMPOPTS) + PFLAGS=$(FLAGS) -pg -DPROFILING $(NATIVECCPROFOPTS) $(NATIVECCCOMPOPTS) -PICFLAGS=$(FLAGS) $(SHAREDCCCOMPOPTS) $(NATIVECCCOMPOPTS) -+PFLAGS=$(FLAGS) -pg -DPROFILING $(CFLAGS) $(NATIVECCPROFOPTS) $(NATIVECCCOMPOPTS) +PICFLAGS=$(FLAGS) $(CFLAGS) $(SHAREDCCCOMPOPTS) $(NATIVECCCOMPOPTS) COBJS=startup_aux.o startup.o \ -- 2.44.0