[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