wip

diff --git a/debian/changelog b/debian/changelog
new file mode 100644 (file)
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 (file)
index 0000000..ec63514
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+9

diff --git a/debian/control b/debian/control
new file mode 100644 (file)
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 (file)
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 (file)
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 (file)
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 (executable)
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 (file)
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)