diff --git a/configure.in b/configure.in index bd80410d9aaabce56d487142e6068393de37b9c3..60f6dab2a2ca8ded43f37965ef3c099e0b52e3d8 100644 --- a/configure.in +++ b/configure.in @@ -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) diff --git a/share/Makefile.config.in b/share/Makefile.config.in index 06e6dd9f0258ec6ced459a3dbd65db26fbd65346..464201745d7a863b563fc672e249b8649b479237 100644 --- a/share/Makefile.config.in +++ b/share/Makefile.config.in @@ -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)