From 60ddeba351613457bf921e1db58d63dd2c9ee64f Mon Sep 17 00:00:00 2001 From: herbelin Date: Fri, 14 Aug 2009 14:54:56 +0000 Subject: Added profile.cmo in grammar.cma so that any functions in one of the files embedded in grammar.cma can be profiled with the Profile module. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12279 85f007b7-540e-0410-9357-904b9bb8a0f7 --- config/Makefile.template | 3 +++ 1 file changed, 3 insertions(+) (limited to 'config') diff --git a/config/Makefile.template b/config/Makefile.template index 6f9fac3c1..4d45f1b4e 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -49,6 +49,9 @@ CAMLP4BIN="CAMLP4BINDIRECTORY" # Ocaml version number CAMLVERSION=CAMLTAG +# Ocaml libraries +CAMLLIB="CAMLLIBDIRECTORY" + # Ocaml .h directory CAMLHLIB="CAMLLIBDIRECTORY" -- cgit v1.2.3