Package: menhir / 20201216-1

menhirLib Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
Author: Ralf Treinen <treinen@debian.org>
Description: Fix location where menhir thinks the lib is installed
Debian-bug: #955494

Index: menhir/src/installation.ml
===================================================================
--- menhir.orig/src/installation.ml	2020-04-02 12:20:14.964435594 +0200
+++ menhir/src/installation.ml	2020-04-02 12:24:00.722027818 +0200
@@ -48,4 +48,4 @@
   in
   Filename.concat
     root
-    (Filename.concat "lib" "menhirLib")
+    (Filename.concat (Filename.concat "lib" "ocaml") "menhirLib")