From d79c4d9e52c2c9162b2a6336460337bb158c42a0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 4 Apr 2013 11:25:05 +0200 Subject: [PATCH] some packaging work --- debian/changelog | 5 +++++ debian/compat | 1 + debian/control | 12 ++++++++++++ debian/copyright | 1 + debian/rules | 18 ++++++++++++++++++ debian/source/format | 1 + 6 files changed, 38 insertions(+) create mode 100644 debian/changelog create mode 100644 debian/compat create mode 100644 debian/control create mode 100644 debian/copyright create mode 100755 debian/rules create mode 100644 debian/source/format diff --git a/debian/changelog b/debian/changelog new file mode 100644 index 0000000..05a5087 --- /dev/null +++ b/debian/changelog @@ -0,0 +1,5 @@ +acc-trusted (0.1-1) unstable; urgency=low + + * Initial release. (Closes: #XXXXXX) + + -- Enrico Tassi Thu, 04 Apr 2013 11:16:40 +0200 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..a915c91 --- /dev/null +++ b/debian/control @@ -0,0 +1,12 @@ +Source: acc-trusted +Section: devel +Priority: optional +Maintainer: CSC +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 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..9fa7a0d --- /dev/null +++ b/debian/rules @@ -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 index 0000000..163aaf8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) -- 2.39.2