Add 'make deb' to Makefile, for creating Debian packages

Also updated the debian/* files.
It should now be easy to create Debian packages under Ubuntu 11.10 & 12.04.
See also the notes in the Makefile.
This commit is contained in:
hallgren
2012-08-22 17:25:10 +00:00
parent 59c97c72b0
commit 098ddc129e
8 changed files with 47 additions and 120 deletions

10
debian/control vendored
View File

@@ -1,9 +1,10 @@
Source: gf
Section: devel
Priority: optional
Section: science
Maintainer: Bjorn Bringert <bringert@cs.chalmers.se>
Build-Depends: debhelper, autoconf, ghc6 (>= 6.4.1-1)
Standards-Version: 3.6.2
Maintainer: Thomas Hallgren <hallgren@chalmers.se>
Standards-Version: 3.9.2
Build-Depends: debhelper (>= 5), haskell-platform (>= 2011.2.0.1), libghc-haskeline-dev, libghc-mtl-dev, libghc-json-dev
Homepage: http://www.grammaticalframework.org/
Package: gf
Architecture: any
@@ -13,4 +14,3 @@ Description: Tools for GF, a grammar formalism based on type theory
It consists of a special-purpose programming language,
a compiler of the language, and a generic grammar processor.
.
Homepage: http://www.cs.chalmers.se/~aarne/GF/