Fix build problems, bump versiom to gf-3.10.4-git

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-11-18 15:54:44 +01:00
parent 28f53e801a
commit 14e5528544
4 changed files with 11 additions and 5 deletions
--- a/gf.cabal
+++ b/gf.cabal
@@ -1,5 +1,5 @@
 name: gf
-version: 3.10.3-git
+version: 3.10.4-git

 cabal-version: >= 1.22
 build-type: Custom