]> matita.cs.unibo.it Git - pkg-cerco/acc.git/commitdiff
first version of the package
authorEnrico Tassi <gares@fettunta.org>
Thu, 14 Mar 2013 18:27:26 +0000 (19:27 +0100)
committerEnrico Tassi <gares@fettunta.org>
Thu, 14 Mar 2013 18:27:26 +0000 (19:27 +0100)
debian/acc.docs [new file with mode: 0644]
debian/acc.install [new file with mode: 0644]
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/acc.docs b/debian/acc.docs
new file mode 100644 (file)
index 0000000..e845566
--- /dev/null
@@ -0,0 +1 @@
+README
diff --git a/debian/acc.install b/debian/acc.install
new file mode 100644 (file)
index 0000000..61199c9
--- /dev/null
@@ -0,0 +1 @@
+usr/bin/acc
diff --git a/debian/changelog b/debian/changelog
new file mode 100644 (file)
index 0000000..f140b6c
--- /dev/null
@@ -0,0 +1,5 @@
+acc (0.2-1) UNRELEASED; urgency=low
+
+  * Initial release. (Closes: #XXXXXX)
+
+ -- CSC <sacerdot@cs.unibo.it>  Thu, 14 Mar 2013 19:07:47 +0100
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..d309dc1
--- /dev/null
@@ -0,0 +1,12 @@
+Source: acc
+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
+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..e753af9
--- /dev/null
@@ -0,0 +1,17 @@
+#!/usr/bin/make -f
+
+%:
+       dh $@
+       
+override_dh_auto_configure:
+       ./configure --without-webapp --prefix=/usr/
+
+override_dh_auto_install:
+       $(MAKE) install PREFIX=debian/tmp/usr/
+
+override_dh_auto_clean:
+       $(MAKE) clean
+       rm -rf Makefile.variables _tags lib/ src/common/intValueConfig.ml
+
+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)