| Age | Commit message (Collapse) | Author |
|
|
|
This should have been added before the 3.10 release
|
|
|
|
This includes adding commands in debian/rules to build and include
the RGL and the example grammars in the debian package.
|
|
|
|
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.
|
|
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.
|
|
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.
|
|
It seems that nowadays the libtool executable is not included in the package
named libtool, instead it is in the libtool-bin package.
|
|
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.
|
|
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
|
|
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.
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|