diff --git a/README b/README
index 2ec19ae..c641674 100644
--- a/README
+++ b/README
@@ -1,5 +1,5 @@
# Synthesis Format Conversion Tool
-# (Version 1.0.0.24)
+# (Version 1.0.0.25)
A tool for reading, manipulating and transforming synthesis
specifications in TLSF [0].
diff --git a/README.md b/README.md
index 91e3453..a9f6de8 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Synthesis Format Conversion Tool
(Version 1.0.0.24)
+# Synthesis Format Conversion Tool
(Version 1.0.0.25)
A tool for reading, manipulating and transforming synthesis
specifications in [TLSF](https://arxiv.org/abs/1604.02284).
diff --git a/misc/git-post-commit b/misc/git-post-commit
index 7e25fdd..4725bbd 100755
--- a/misc/git-post-commit
+++ b/misc/git-post-commit
@@ -13,26 +13,16 @@
if [ -a .commit ]
then
rm .commit
-
+
# Update version number
curver=`cat syfco.cabal | grep '^version' | sed 's/^version:[^.]*.[^.]*.[^.]*.\([0-9]*\).*/\1/'`
newver=`expr $curver + 1`
-
+
sed -i "s/\(^version:[^.]*.[^.]*.[^.]*.\)[0-9]*/\1$newver/" syfco.cabal
# build
- cabal configure
-
- if ! [[ $? = 0 ]]
- then
- # Reset version
- sed -i "s/\(^version:[^.]*.[^.]*.[^.]*.\)[0-9]*/\1$oldver/" syfco.cabal
- exit 1
- fi
+ make
- # build
- cabal build
-
if ! [[ $? = 0 ]]
then
# Reset version
@@ -40,8 +30,8 @@ then
exit 1
fi
- dist/build/syfco/syfco --readme > README
- dist/build/syfco/syfco --readme.md > README.md
+ ./syfco --readme > README
+ ./syfco --readme.md > README.md
git commit -a --amend -C HEAD --no-verify
fi
diff --git a/syfco.cabal b/syfco.cabal
index 3383858..338cb91 100644
--- a/syfco.cabal
+++ b/syfco.cabal
@@ -1,5 +1,5 @@
name: syfco
-version: 1.0.0.24
+version: 1.0.0.25
synopsis: Synthesis Format Conversion Tool / Library
description: Library and tool for reading, manipulating and transforming synthesis specifications.
license: MIT