File: 0002-change-lem-lib-install-path.patch

package info (click to toggle)
lem 2022-12-10%2Bdfsg2-4
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 5,284 kB
  • sloc: ml: 29,502; makefile: 492; sh: 37; python: 30
file content (20 lines) | stat: -rw-r--r-- 558 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
From: Bo YU <tsu.yubo@gmail.com>
Date: Mon, 14 Oct 2024 10:54:58 +0200
Subject: change lem lib install with debian path

Forwarded: not-needed
Last-Update: 2024-03-07
---
 ocaml-lib/ocamlbuild.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ocaml-lib/ocamlbuild.mk b/ocaml-lib/ocamlbuild.mk
index b3b3aac..1304e0e 100644
--- a/ocaml-lib/ocamlbuild.mk
+++ b/ocaml-lib/ocamlbuild.mk
@@ -1,4 +1,4 @@
-INSTALLDIR := $(shell ocamlfind printconf destdir)
+INSTALLDIR := $(DESTDIR)
 LOCALINSTALDIR := local
 
 all: extract_zarith extract_num