[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging branch, master, updated. debian/0.1-r13244-1-5-g499ab02
Stephane Glondu
steph at glondu.net
Wed Dec 1 15:28:47 UTC 2010
The following commit has been merged in the master branch:
commit 499ab027cc46d50ac095b47de5ac5a4eea9f1949
Author: Stephane Glondu <steph at glondu.net>
Date: Wed Dec 1 12:00:13 2010 +0100
Update packaging
diff --git a/debian/libaac-tactics-coq.install.in b/debian/libaac-tactics-coq.install.in
index 4302629..42cf10a 100644
--- a/debian/libaac-tactics-coq.install.in
+++ b/debian/libaac-tactics-coq.install.in
@@ -1,3 +1,3 @@
-*.vo /usr/lib/coq/user-contrib/AACTactics/
+*.vo /usr/lib/coq/user-contrib/AAC_tactics/
doc/* /usr/share/doc/libaac-tactics-coq/api
html/* /usr/share/doc/libaac-tactics-coq/theories
diff --git a/debian/libaac-tactics-ocaml-dev.install.in b/debian/libaac-tactics-ocaml-dev.install.in
index d360db0..74548b3 100644
--- a/debian/libaac-tactics-ocaml-dev.install.in
+++ b/debian/libaac-tactics-ocaml-dev.install.in
@@ -1,5 +1,5 @@
-*.cmi /usr/lib/coq/user-contrib/AACTactics/
-*.mli /usr/lib/coq/user-contrib/AACTactics/
-OPT: *.cmx /usr/lib/coq/user-contrib/AACTactics/
-OPT: *.cmxa /usr/lib/coq/user-contrib/AACTactics/
-OPT: *.a /usr/lib/coq/user-contrib/AACTactics/
+*.cmi /usr/lib/coq/user-contrib/AAC_tactics/
+*.mli /usr/lib/coq/user-contrib/AAC_tactics/
+OPT: *.cmx /usr/lib/coq/user-contrib/AAC_tactics/
+OPT: *.cmxa /usr/lib/coq/user-contrib/AAC_tactics/
+OPT: *.a /usr/lib/coq/user-contrib/AAC_tactics/
diff --git a/debian/libaac-tactics-ocaml.install.in b/debian/libaac-tactics-ocaml.install.in
index 55dd22c..2ede221 100644
--- a/debian/libaac-tactics-ocaml.install.in
+++ b/debian/libaac-tactics-ocaml.install.in
@@ -1,2 +1,2 @@
-aac_tactics.cma /usr/lib/coq/user-contrib/AACTactics/
-DYN: aac_tactics.cmxs /usr/lib/coq/user-contrib/AACTactics/
+aac_tactics.cma /usr/lib/coq/user-contrib/AAC_tactics/
+DYN: aac_tactics.cmxs /usr/lib/coq/user-contrib/AAC_tactics/
diff --git a/debian/rules b/debian/rules
index 446d604..a2e1bcb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,13 +9,15 @@ include /usr/share/coq/coqvars.mk
.PHONY: override_dh_auto_configure
override_dh_auto_configure:
./make_makefile
-# workaround bug on fs mounted without relatime
- touch make_makefile theory.ml
.PHONY: override_dh_auto_build
override_dh_auto_build:
$(MAKE) world
+.PHONY: override_dh_auto_install
+override_dh_auto_install:
+# install rule as generated by coq_makefile is buggy
+
.PHONY: override_dh_gencontrol
override_dh_gencontrol:
dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)"
--
aac-tactics packaging
More information about the Pkg-ocaml-maint-commits
mailing list