From c0bd8e963be36646bf969b78460ef15631f27bff Mon Sep 17 00:00:00 2001 From: "dupont-y@univ-nantes.fr" Date: Fri, 12 Jan 2024 18:37:10 +0100 Subject: [PATCH] 2nd try for cpp mode --- glicid/packages/cpp.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/glicid/packages/cpp.scm b/glicid/packages/cpp.scm index 444dcab..ca1786d 100644 --- a/glicid/packages/cpp.scm +++ b/glicid/packages/cpp.scm @@ -11,7 +11,7 @@ ;; No tests. `(#:tests? #f ;; Build the shared library instead of a static one. - #:configure-flags `("-DBUILD_SHARED_LIBS=1 -DREPROC++=1"))) + #:configure-flags `("-DBUILD_SHARED_LIBS=1 -DREPROC_DEVELOP=1")))