[configure] integrate landmarks profiling lib and remove unneeded substitutions

configure.in

@@ -316,6 +316,20 @@ else
   AC_MSG_RESULT(not found. The corresponding domains won't be available in Eva)
 fi;
 
+# landmarks (profiling tool, for developers)
+########
+
+AC_MSG_CHECKING(for Landmarks)
+
+LANDMARKS_PATH=$($OCAMLFIND query landmarks 2>/dev/null | tr -d '\r\n')
+LANDMARKS_PPX_PATH=$($OCAMLFIND query landmarks.ppx 2>/dev/null | tr -d '\r\n')
+if test -f "$LANDMARKS_PATH/landmarks.cmxs" -a -f "$LANDMARKS_PPX_PATH/ppx_landmarks"; then
+  HAS_LANDMARKS="yes";
+  AC_MSG_RESULT(found)
+else
+  HAS_LANDMARKS="no";
+  AC_MSG_RESULT(not found.)
+fi;
 
 ############
 # Platform #
@@ -972,9 +986,8 @@ AC_SUBST(DEVELOPMENT)
 AC_SUBST(DOT)
 AC_SUBST(HAS_DOT)
 AC_SUBST(HAS_ZARITH)
-AC_SUBST(ZARITH_PATH)
 AC_SUBST(HAS_APRON)
-AC_SUBST(APRON_PATH)
+AC_SUBST(HAS_LANDMARKS)
 AC_SUBST(OCAMLBEST)
 AC_SUBST(OCAMLVERSION)
 AC_SUBST(OCAMLLIB)

share/Makefile.config.in

@@ -101,11 +101,12 @@ HAS_GNOMECANVAS	?=@HAS_GNOMECANVAS@
 
 # zarith
 HAS_ZARITH	?=@HAS_ZARITH@
-ZARITH_PATH	?=@ZARITH_PATH@
 
 # apron
 HAS_APRON	?=@HAS_APRON@
-APRON_PATH	?=@APRON_PATH@
+
+# landmarks
+HAS_LANDMARKS	?=@HAS_LANDMARKS@
 
 ##########################
 # Miscellaneous commands #
@@ -178,6 +179,10 @@ ifeq ($(HAS_ZARITH),yes)
 LIBRARY_NAMES += zarith
 endif
 
+ifeq ($(HAS_LANDMARKS),yes)
+LIBRARY_NAMES += landmarks landmarks.ppx
+endif
+
 ifneq ($(ENABLE_GUI),no)
 LIBRARY_NAMES_GUI = lablgtk2 lablgtk2.gnomecanvas lablgtk2.sourceview2
 else