From: Enrico Tassi <gares@fettunta.org>
Date: Wed, 3 Apr 2013 09:52:07 +0000 (+0200)
Subject: wip
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=70224405de4ea5ee2340ff6e5b9a87415b9281b0;p=pkg-cerco%2Fframa-c-cost-plugin.git

wip
---

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..cf175f5
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+frama-c-cost-plugin (0.1-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..dacabe4
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,12 @@
+Source: frama-c-cost-plugin
+Section: devel
+Priority: optional
+Maintainer: CSC <sacerdot@cs.unibo.it>
+Build-Depends: debhelper (>= 9), ocaml-best-compilers, ocaml-findlib, frama-c-base
+Standards-Version: 3.9.3
+
+Package: frama-c-cost-plugin
+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/frama-c-cost-plugin.docs b/debian/frama-c-cost-plugin.docs
new file mode 100644
index 0000000..e845566
--- /dev/null
+++ b/debian/frama-c-cost-plugin.docs
@@ -0,0 +1 @@
+README
diff --git a/debian/frama-c-cost-plugin.install b/debian/frama-c-cost-plugin.install
new file mode 100644
index 0000000..c703cf8
--- /dev/null
+++ b/debian/frama-c-cost-plugin.install
@@ -0,0 +1 @@
+usr/bin/
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..a23fa72
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,21 @@
+#!/usr/bin/make -f
+
+%:
+	dh $@
+	
+override_dh_auto_configure:
+	./configure --prefix=/usr/
+
+override_dh_auto_build:
+	# frama-c Makefiles are nuts
+	$(MAKE) || $(MAKE) || $(MAKE)
+
+override_dh_auto_install:
+	export DESTDIR=debian/tmp/usr/
+	$(MAKE) -C plugin/ install
+
+override_dh_auto_clean:
+	# clean does not work
+
+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)