From: Enrico Tassi Date: Thu, 4 Apr 2013 09:25:05 +0000 (+0200) Subject: some packaging work X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d79c4d9e52c2c9162b2a6336460337bb158c42a0;p=pkg-cerco%2Facc-trusted.git some packaging work --- 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)