summaryrefslogtreecommitdiff
path: root/debian
AgeCommit message (Collapse)Author
2019-11-18Fix build problems, bump versiom to gf-3.10.4-gitThomas Hallgren
debian/rules and bin/build-binary-dist.sh needed to be adepted to changes in how INSTALLPATH is used in src/runtime/java/Makefile.
2019-08-07debian/rules: fix two build problemsThomas Hallgren
2019-03-05Bump version number to 3.10.3-gitThomas Hallgren
This is not an announced realase, but this is version now installed on our server.
2019-03-05debian/rules bug fix: the RGL was not included in .deb packagesThomas Hallgren
The problem was that the RGL was both built and copied to the destdir during the build step, which caused it to be deleted before the install step. It is now copied to destdir during the install step.
2018-12-03Merge branch 'master' of https://github.com/GrammaticalFramework/gf-coreThomas Hallgren
2018-12-03debian/control: new dependency: pandocThomas Hallgren
This should have been added before the 3.10 release
2018-12-03debian/changelog: updated release dateThomas Hallgren
2018-11-30Update `make deb` for the GF 3.10 releaseThomas Hallgren
This includes adding commands in debian/rules to build and include the RGL and the example grammars in the debian package.
2017-08-11Final changes before the release of GF 3.9Thomas Hallgren
2016-06-22Final changes for the GF 3.8 releasehallgren
News item on the home page Put the download page and release notes in place. Add an entry in debian/changelog. Update the version number in gf.cabal.
2016-06-16debian: add txt2tags to Build-Depends and run 'make html' as part of the buildhallgren
This is to make sure that gf-web-api.html gets included in the .deb package and is available locally in the GF cloud when running gf -server.
2016-04-25Fix a problem building the Java binding when creating binary packageshallgren
Pass -I and -L flags to gcc so that the C run-time system can be found. Also added a line in src/runtime/java/Makefile to install jpgf.jar.
2016-04-13debian/control: dependency change from libtool to libtool-binhallgren
It seems that nowadays the libtool executable is not included in the package named libtool, instead it is in the libtool-bin package.
2016-04-12Changes to include the Java binding in binary distribution packageshallgren
This means that you now need to have a Java SDK installed to build a Debian package. The bin/build-binary-dist.sh (which builds bintar packages and OS X installer packages) now skips the Python binding if python is not installed. Likewise it skips the Java binding if a Java SDK is not installed.
2016-04-12debian/rules: workaround for a problem on Ubuntu 15.10 and 16.04hallgren
dh_shlibdeps has a problem finding which package some of the Haskell libraries come from, even though dpkg-query -S has no problem finding them. But the gf executable is statically linked against the Haskell libraries, so it will work even if these shared libraries aren't installed. But there will be a problem if other shared libraries are missing (.e.g. libtinfo, libgmp), so we need a better solution than simply ignoring all dependency problems... See also http://stackoverflow.com/questions/11238134/dpkg-shlibdeps-error-no-dependency-information-found-for
2015-10-02Bump version number to 3.7.1 and finalize documentationhallgren
Updated version number in gf.cabal and update debian/changelog News item on home page (index.html) Some last minute edits on the download page Move the new release notes and download page in place.
2015-06-25Documentation updates for the release of GF 3.7hallgren
2014-06-21debian/changelog: updated for the release of GF 3.6hallgren
2014-06-19debian/rules: a hack to put the python binding in the right directoryhallgren
The setup.py script puts it under site-packages, but python only looks under dist-packages... Also some minor changes for 'make deb' in Makefile
2014-06-19debian/rules: fix bug that prevented the Python binding from being includedhallgren
2014-06-19Include the Python binding to the C run-time system in Debian packageshallgren
2014-06-16debian/rules: include the C run-time system when building .deb packageshallgren
2013-08-06Update to version 3.5 in gf.cabal and debian/changeloghallgren
2013-01-30debian/changelog: updated for GF 3.4hallgren
2012-12-07update debian/changeloghallgren
2012-08-22Add 'make deb' to Makefile, for creating Debian packageshallgren
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.
2006-03-21Added release number in debian/changelog.bringert
2006-03-21Debian package: build and install gfdoc.bringert
2006-03-21Debian package: use install-gfbringert
2006-03-21Debian package: use prefix in isntall rule.bringert
2006-03-21Debian package: run configure and make in src/.bringert
2006-03-21Added beginnings of debian packaging stuff.bringert