Updated hooks

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].

README.md

@@ -1,4 +1,4 @@
-# Synthesis Format Conversion Tool<br/>(Version 1.0.0.24)
+# Synthesis Format Conversion Tool<br/>(Version 1.0.0.25)
 
 A tool for reading, manipulating and transforming synthesis
 specifications in [TLSF](https://arxiv.org/abs/1604.02284).

misc/git-post-commit

@@ -13,35 +13,25 @@
 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
         sed -i "s/\(^version:[^.]*.[^.]*.[^.]*.\)[0-9]*/\1$oldver/" syfco.cabal
         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

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