From: Enrico Tassi Date: Thu, 4 Apr 2013 10:05:27 +0000 (+0200) Subject: Merge tag 'upstream/0.1' X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=742d6e6606a44e5f305c503a60e0e6f59e7f55f3;hp=b4da02b8856ccc723c707618038f6a5c3bf223e2;p=pkg-cerco%2Facc-trusted.git Merge tag 'upstream/0.1' Upstream version 0.1 --- diff --git a/debian/acc-trusted.install b/debian/acc-trusted.install new file mode 100644 index 0000000..bc7b689 --- /dev/null +++ b/debian/acc-trusted.install @@ -0,0 +1 @@ +/usr/bin/ 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..de5776c --- /dev/null +++ b/debian/rules @@ -0,0 +1,28 @@ +#!/usr/bin/make -f + +%: + dh $@ + +override_dh_auto_build: + $(MAKE) opt + +override_dh_auto_install: + mkdir -p debian/tmp/usr/bin + cp acc.opt debian/tmp/usr/bin/acc-trusted + +override_dh_auto_clean: + $(MAKE) clean + find . -name '*.cmo' -exec rm {} \; + find . -name '*.cmi' -exec rm {} \; + find . -name '*.cmx' -exec rm {} \; + find . -name '*.o' -exec rm {} \; + find . -name '*.so' -exec rm {} \; + find . -name '*.a' -exec rm {} \; + find . -name '*.byte' -exec rm {} \; + rm -rf acc cparser/Lexer.ml cparser/Parser.ml cparser/Parser.mli + rm -rf extracted/_build/ extracted/extracted.mlpack + rm -rf cparser/Parser.output cparser/cparser cparser/cparser.cma + rm -rf cparser/cparser.cmxa extracted/_tags + +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)