]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commitdiff
some packaging work
authorEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:25:05 +0000 (11:25 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:25:05 +0000 (11:25 +0200)
debian/changelog [new file with mode: 0644]
debian/compat [new file with mode: 0644]
debian/control [new file with mode: 0644]
debian/copyright [new file with mode: 0644]
debian/rules [new file with mode: 0755]
debian/source/format [new file with mode: 0644]

diff --git a/debian/changelog b/debian/changelog
new file mode 100644 (file)
index 0000000..05a5087
--- /dev/null
@@ -0,0 +1,5 @@
+acc-trusted (0.1-1) unstable; urgency=low
+
+  * Initial release. (Closes: #XXXXXX)
+
+ -- Enrico Tassi <gareuselesinge@debian.org>  Thu, 04 Apr 2013 11:16:40 +0200
diff --git a/debian/compat b/debian/compat
new file mode 100644 (file)
index 0000000..ec63514
--- /dev/null
@@ -0,0 +1 @@
+9
diff --git a/debian/control b/debian/control
new file mode 100644 (file)
index 0000000..a915c91
--- /dev/null
@@ -0,0 +1,12 @@
+Source: acc-trusted
+Section: devel
+Priority: optional
+Maintainer: CSC <sacerdot@cs.unibo.it>
+Build-Depends: debhelper (>= 9), ocaml-best-compilers, ocaml-findlib
+Standards-Version: 3.9.3
+
+Package: acc-trusted
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Description: fill me
+ fill me
diff --git a/debian/copyright b/debian/copyright
new file mode 100644 (file)
index 0000000..bbd36ad
--- /dev/null
@@ -0,0 +1 @@
+fill me
diff --git a/debian/rules b/debian/rules
new file mode 100755 (executable)
index 0000000..9fa7a0d
--- /dev/null
@@ -0,0 +1,18 @@
+#!/usr/bin/make -f
+
+%:
+       dh $@
+
+override_dh_auto_build:
+       ./build
+       
+override_dh_auto_install:
+
+override_dh_auto_clean:
+       find . -name '*.cmo' -exec rm {} \;
+       find . -name '*.cmi' -exec rm {} \;
+       find . -name '*.cmx' -exec rm {} \;
+       rm -rf extracted/_build/ extracted/extracted.mlpack 
+
+override_dh_auto_test:
+       # no test
diff --git a/debian/source/format b/debian/source/format
new file mode 100644 (file)
index 0000000..163aaf8
--- /dev/null
@@ -0,0 +1 @@
+3.0 (quilt)