Skip to content
Snippets Groups Projects
Commit dad6a08d authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Dev] compatibility with Landmarks 1.4

parent 9bcc34d7
No related branches found
No related tags found
No related merge requests found
......@@ -396,9 +396,9 @@ AC_ARG_ENABLE(
ENABLE_LANDMARKS=yes)
if test "$ENABLE_LANDMARKS" = yes ; then
AC_MSG_CHECKING(for Landmarks)
AC_MSG_CHECKING(for Landmarks and Landmarks-ppx)
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')
LANDMARKS_PPX_PATH=$($OCAMLFIND query landmarks-ppx 2>/dev/null | tr -d '\r\n')
if test -f "$LANDMARKS_PATH/landmark.$DYN_SUFFIX" -a -f "$LANDMARKS_PPX_PATH/ppx_landmarks.$DYN_SUFFIX"; then
HAS_LANDMARKS="yes";
AC_MSG_RESULT(found)
......
......@@ -200,7 +200,7 @@ LIBRARY_NAMES := \
findlib ocamlgraph unix str dynlink bytes zarith yojson bigarray
ifeq ($(HAS_LANDMARKS),yes)
LIBRARY_NAMES += landmarks landmarks.ppx
LIBRARY_NAMES += landmarks landmarks-ppx
endif
ifneq ($(ENABLE_GUI),no)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment