From 188f3fbc1b8cdd466fb94728c6231443cfc61593 Mon Sep 17 00:00:00 2001 From: Anton Lavrik Date: Sat, 29 Jun 2019 01:49:12 +0100 Subject: [PATCH] Fix installing ulex-camlp5 using "make deps" --- deps/.gitignore | 2 +- deps/ulex-camlp5/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/.gitignore b/deps/.gitignore index 0e3d7944..cec0cc4a 100644 --- a/deps/.gitignore +++ b/deps/.gitignore @@ -1,6 +1,6 @@ */upstream */META -!ulex/META +!ulex-camlp5/META !base64/META */*.ml */*.mli diff --git a/deps/ulex-camlp5/Makefile b/deps/ulex-camlp5/Makefile index 528457ec..9e9a1f91 100644 --- a/deps/ulex-camlp5/Makefile +++ b/deps/ulex-camlp5/Makefile @@ -6,7 +6,7 @@ RESULT = ulexing SOURCES = cset.ml utf8.ml ulexing.ml utf16.ml ulex.ml -OCAMLFIND_PACKAGE = ulex +OCAMLFIND_PACKAGE = ulex-camlp5 MODS = ulexing utf16 utf8 LIBINSTALL_FILES = \