From: Enrico Tassi <gares@fettunta.org>
Date: Thu, 14 Mar 2013 18:27:26 +0000 (+0100)
Subject: first version of the package
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=96576b1a433721d49eb9052aae268ee04ab633a8;p=pkg-cerco%2Facc.git

first version of the package
---

diff --git a/debian/acc.docs b/debian/acc.docs
new file mode 100644
index 0000000..e845566
--- /dev/null
+++ b/debian/acc.docs
@@ -0,0 +1 @@
+README
diff --git a/debian/acc.install b/debian/acc.install
new file mode 100644
index 0000000..61199c9
--- /dev/null
+++ b/debian/acc.install
@@ -0,0 +1 @@
+usr/bin/acc
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..f140b6c
--- /dev/null
+++ b/debian/changelog
@@ -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
index 0000000..ec63514
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+9
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..d309dc1
--- /dev/null
+++ b/debian/control
@@ -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
index 0000000..bbd36ad
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1 @@
+fill me
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..e753af9
--- /dev/null
+++ b/debian/rules
@@ -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
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)