History log of /hets/var.mk
Revision Date Author Comments Expand
005603425396f16a79d0443c251649cd505909f8 05-Feb-2018 Jens Elkner <jel+git@iks.cs.uni-magdeburg.de>

use wget if haskell-http-client modules is too old or unavailable
d23ecf32e56cce69bc42eb5c96dddf7909c623ab 17-Jan-2018 jelmd <jelmd@users.noreply.github.com>

simplify version checking in makefiles (#1830) fix #1830: simplify version checking in makefiles; add GHC_PKG_FLAGS, GHC_FLAGS
e4cafd087b052ccacff92df335ed0ed5e016f490 08-Jan-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

Use GTK and Haskeline on macOS. (#1723)
aa4fbedb87724ee8397a269d364674f763282d04 26-Jul-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Obey reviewers #2.
f8597aabc9db75dcf504e3151faf220a165c90d1 25-Jul-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Use stack only if it exists. Upgrade it if it's outdated.
96a5d8fc69648eed5673b93e8fedcdf6fb9c0e0d 11-Jun-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Check if stack exists.
ac837064ee3c77c69685dcfc48cd52f6e452a4ee 09-Jun-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Remove one variable.
ab4256496e72886018b78571057331f373da6883 09-Jun-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Create a loose stack and clean_stack target to setup stack.
756f31c6dd0843b4435c0ca66485ec19139eb1a8 09-Jun-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Fix some of the issues stated in the review.
3de77a6e8f37af46de7047a9b83ee69b46d13095 08-Jun-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Enable -rtsopts for GHC 7 *and above*.
4c7cb5671b356d873d67829ec8062a5083c1ee0e 08-Jun-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Replace system-ghc with haskell-stack.
961087225d1d2b9534152a346d1a3755ed952fcd 29-Apr-2016 Jens Elkner <jel+git@iws.cs.uni-magdeburg.de>

programatica: now per default disabled; misc pkg related fixes
a84a8d508a0778b13a4d097a6dd34b95feae78ac 29-Mar-2016 Jens Elkner <jel+git@iws.cs.uni-magdeburg.de>

Makefile cleanup/fixes + new install* features
d05c733795c61d2964e7df84c52396b80c82a2db 16-Dec-2015 cmaeder <c.maeder@jacobs-university.de>

remove (unneeded?) -fcontext-stack option
3c39e5cbfd4e6d547e2f7a9505a5d39c32118186 08-Dec-2015 cmaeder <c.maeder@jacobs-university.de>

support glade with ghc-7.10
853f27e556cb4e8c53f535df8e7b0ad665cf9bbc 06-Nov-2014 notanartist <notanartist@outlook.com>

problems with httptypes >= .8.5
8037b7d21021a94b69e4a092f5c98e491333d939 09-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

reintegrated logic Haskell (with null json output)
8733d12c944d57a250b466973f2271b491ba98f4 09-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

derived more Typeable instances
1a38107941725211e7c3f051f7a8f5e12199f03a 08-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

added a bunch of deriving Typeable and Data

Adl/As.hs Adl/Sign.hs CASL/AS_Basic_CASL.der.hs CASL/Morphism.hs CASL/Sign.hs CASL/Sublogic.hs CASL_DL/AS_CASL_DL.der.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs COL/AS_COL.der.hs COL/COLSign.hs CSL/AS_BASIC_CSL.hs CSL/Morphism.hs CSL/Sign.hs CSL/Symbol.hs CSL/TreePO.hs CSMOF/As.hs CSMOF/Parser.hs CSMOF/Print.hs CSMOF/Sign.hs CoCASL/AS_CoCASL.der.hs CoCASL/CoCASLSign.hs Common/AS_Annotation.der.hs Common/ATerm/ConvInstances.hs Common/Consistency.hs Common/DefaultMorphism.hs Common/ExtSign.hs Common/GlobalAnnotations.hs Common/IRI.hs Common/Id.hs Common/Json.hs Common/Lib/Graph.hs Common/Lib/MapSet.hs Common/Lib/Rel.hs Common/LibName.hs Common/OrderedMap.hs Common/Prec.hs Common/ProofTree.hs Common/Result.hs CommonLogic/AS_CommonLogic.der.hs CommonLogic/Morphism.hs CommonLogic/Sign.hs CommonLogic/Sublogic.hs CommonLogic/Symbol.hs ConstraintCASL/AS_ConstraintCASL.hs CspCASL/AS_CspCASL.der.hs CspCASL/AS_CspCASL_Process.der.hs CspCASL/Morphism.hs CspCASL/SignCSP.hs CspCASL/SymbItems.hs CspCASL/Symbol.hs DFOL/AS_DFOL.hs DFOL/Morphism.hs DFOL/Sign.hs DFOL/Symbol.hs ExtModal/AS_ExtModal.der.hs ExtModal/ExtModalSign.hs ExtModal/MorphismExtension.hs ExtModal/Sublogic.hs Fpl/As.der.hs Fpl/Sign.hs Framework/AS.hs FreeCAD/As.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs HolLight/Helper.hs HolLight/HolLight2DG.hs HolLight/Sentence.hs HolLight/Sign.hs HolLight/Sublogic.hs HolLight/Term.hs Hybrid/AS_Hybrid.der.hs Hybrid/HybridSign.hs Isabelle/IsaSign.hs LF/AS.hs LF/Morphism.hs LF/Sign.hs Logic/Comorphism.hs Logic/Logic.hs Logic/Morphism.hs Logic/Prover.hs Makefile Maude/AS_Maude.hs Maude/Morphism.hs Maude/Sentence.hs Maude/Sign.hs Maude/Symbol.hs Modal/AS_Modal.der.hs Modal/ModalSign.hs OMDoc/OMDocInterface.hs OWL2/AS.hs OWL2/MS.hs OWL2/Morphism.hs OWL2/Parse.hs OWL2/Print.hs OWL2/Profiles.hs OWL2/ProfilesAndSublogics.hs OWL2/Sign.hs OWL2/Sublogic.hs OWL2/Symbols.hs Propositional/AS_BASIC_Propositional.der.hs Propositional/Morphism.hs Propositional/Sign.hs Propositional/Sublogic.hs Propositional/Symbol.hs QBF/AS_BASIC_QBF.der.hs QBF/Morphism.hs QBF/Sublogic.hs QBF/Symbol.hs QVTR/ATC_QVTR.hs QVTR/As.hs QVTR/Sign.hs RDF/AS.hs RDF/Morphism.hs RDF/Parse.hs RDF/Print.hs RDF/Sign.hs RDF/StaticAnalysis.hs RDF/Symbols.hs RelationalScheme/AS.der.hs RelationalScheme/Sign.hs SoftFOL/Sign.hs THF/As.der.hs THF/Cons.hs THF/Sign.hs THF/Sublogic.hs Temporal/AS_BASIC_Temporal.hs Temporal/Morphism.hs Temporal/Sign.hs Temporal/Symbol.hs TopHybrid/AS_TopHybrid.der.hs TopHybrid/TopHybridSign.hs VSE/As.hs var.mk
be716603950fe7db5879ced59924011a10fba71f 11-Sep-2014 cmaeder <cmaeder@users.noreply.github.com>

removed unnecessary test
7f2a46ddda1923440e10bd62abc5567601011b12 17-Jul-2014 Christian Maeder <Christian.Maeder@dfki.de>

removed taxonomy tool because in fgl 5.5. Data.Graph.Inductive.Graphviz was moved to graphviz
8723ec450f2e7a024230467c0c28a3f154905483 15-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

conditional compilation for warp version 1 (precise), 2 (trusty) and 3 (latest)
3f8a8ae9e09f8c80522448dbb6f5b27d6828ed5e 10-Dec-2013 Christian Maeder <Christian.Maeder@dfki.de>

allow warp (and wai) version 2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18377 cec4b9c1-7d33-0410-9eda-942365e851bb
d4263171d0ce2cbc390a7b44bff98e8b3c0f8ce7 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

no longer support the old server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18176 cec4b9c1-7d33-0410-9eda-942365e851bb
793b59c0635d5925018de0a4f6f763449fca6b3e 31-Jan-2013 Christian Maeder <Christian.Maeder@dfki.de>

support newer haskeline package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17739 cec4b9c1-7d33-0410-9eda-942365e851bb
742671cd03de37ede2ad3acdf94bdced74c3cd75 10-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

support newer hexpat version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17174 cec4b9c1-7d33-0410-9eda-942365e851bb
39e58e8e597ae8acd123a7fbc37e5299fd5fb1b2 07-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

stop support for warp-0.4 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17122 cec4b9c1-7d33-0410-9eda-942365e851bb
e8b72918958e1c69ae8f509a475050e2a324d521 26-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

exclude /opt/local stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17064 cec4b9c1-7d33-0410-9eda-942365e851bb
232c13ff6847a6f2bac7163392f80ab692cd7774 25-Apr-2012 Christian Maeder <Christian.Maeder@dfki.de>

also extract path bits and allow warp-1.2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16830 cec4b9c1-7d33-0410-9eda-942365e851bb
3dde4051c307b609159a097f08a05108fdd036ef 11-Apr-2012 Jonathan von Schroeder <sternkinder@gmail.com>

compatibility with HaXml 1.22.* (DtdToHaskell produced invalid code, Api change (QName instead of strings)) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16782 cec4b9c1-7d33-0410-9eda-942365e851bb
3922f237bd762ca3a06308c910eb5b7d8acb8b7b 23-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

allow tar-0.4.0.0 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16742 cec4b9c1-7d33-0410-9eda-942365e851bb
57026bc09337d158b89775048a9bcc9c17d825ca 15-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

checked for HaXml git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16727 cec4b9c1-7d33-0410-9eda-942365e851bb
f926f6846c707d8ef76a85f430168bad51a5085f 06-Feb-2012 Christian Maeder <Christian.Maeder@dfki.de>

added new warp and wai-extra version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16649 cec4b9c1-7d33-0410-9eda-942365e851bb
467c63ee967cbe91acc31bb9bf4cec1ac837d21d 23-Jan-2012 Christian Maeder <Christian.Maeder@dfki.de>

decreased context-stack to the minimum git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16621 cec4b9c1-7d33-0410-9eda-942365e851bb
b6d11ac9a9c43ae636a4d968eb7542748b46296d 22-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

exclude test without HTTP git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16573 cec4b9c1-7d33-0410-9eda-942365e851bb
e7c56dd52801632f689ad0986bbae26505d67d7c 22-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow compilation without the HTTP package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16572 cec4b9c1-7d33-0410-9eda-942365e851bb
28b9e36e0166fd08c0180bcdcfc1b96f394919b8 07-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

removed rdf4h check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16536 cec4b9c1-7d33-0410-9eda-942365e851bb
e4f0eaffd002e9e553ee113be33f9aa6e4181c43 06-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow compilation without rdf4h git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16524 cec4b9c1-7d33-0410-9eda-942365e851bb
ae7ff2666f63daf6974b3c89cdc0f22eafa2692d 17-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

separate ghc7 -rtsopts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16461 cec4b9c1-7d33-0410-9eda-942365e851bb
39e48703146fdab64cab3b9aee7832ac3dcb9d44 17-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

haddock of ghc-7.2 needs to pass context-stack option to ghc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16456 cec4b9c1-7d33-0410-9eda-942365e851bb
eae0d62755147d991cc3e903f74f98ac31a7cd42 10-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

re-add support for the old simple server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16439 cec4b9c1-7d33-0410-9eda-942365e851bb
902d299c0b5130110b75962b4b1dbf19d7227264 10-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

corrected hexpat check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16438 cec4b9c1-7d33-0410-9eda-942365e851bb
3162eeb73755815cd3b6dc79ca4f65afa61d510d 10-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

use ghc-pkg latest instead of version field git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16437 cec4b9c1-7d33-0410-9eda-942365e851bb
99b26e2ab8ba89bc9a050c1524137eb6269e2753 09-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

switched to warp server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16430 cec4b9c1-7d33-0410-9eda-942365e851bb
b959b3ff2f129f3d88ad43c23bad0e78d05739d1 31-Oct-2011 Christian Maeder <Christian.Maeder@dfki.de>

try without transformers for lucid and maverick git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16400 cec4b9c1-7d33-0410-9eda-942365e851bb
df3a05f96e3bc3d83c237bf2d1d636a806a8ea78 28-Oct-2011 Christian Maeder <Christian.Maeder@dfki.de>

support natty git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16397 cec4b9c1-7d33-0410-9eda-942365e851bb
f423124aea4f1c374490a210879796068a5031b4 02-Sep-2011 Christian Maeder <Christian.Maeder@dfki.de>

support older xml packages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16077 cec4b9c1-7d33-0410-9eda-942365e851bb
d7f2ea4f5ff1dbfa24035700c4378b657d86767e 25-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

remove OWL test target git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16029 cec4b9c1-7d33-0410-9eda-942365e851bb
1bfe9bf8616b243f12d79db81ca6b64211e53068 05-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

relaxed unix test git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15896 cec4b9c1-7d33-0410-9eda-942365e851bb
55cf6e01272ec475edea32aa9b7923de2d36cb42 04-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

ghc-7.2 requires language with flexible instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 cec4b9c1-7d33-0410-9eda-942365e851bb

Adl/Logic_Adl.hs CASL_DL/Logic_CASL_DL.hs COL/Logic_COL.hs CoCASL/Logic_CoCASL.hs Comorphisms/Adl2CASL.hs Comorphisms/CASL2CoCASL.hs Comorphisms/CASL2CspCASL.hs Comorphisms/CASL2HasCASL.hs Comorphisms/CASL2Modal.hs Comorphisms/CASL2PCFOL.hs Comorphisms/CASL2Prop.hs Comorphisms/CASL2SubCFOL.hs Comorphisms/CASL2TopSort.hs Comorphisms/CASL2VSE.hs Comorphisms/CASL2VSEImport.hs Comorphisms/CASL2VSERefine.hs Comorphisms/CASL_DL2CASL.hs Comorphisms/CFOL2IsabelleHOL.hs Comorphisms/CoCASL2CoPCFOL.hs Comorphisms/CoCASL2CoSubCFOL.hs Comorphisms/CoCFOL2IsabelleHOL.hs Comorphisms/CspCASL2Modal.hs Comorphisms/DFOL2CASL.hs Comorphisms/HasCASL2IsabelleHOL.hs Comorphisms/HolLight2Isabelle.hs Comorphisms/Modal2CASL.inline.hs Comorphisms/MonadicHasCASLTranslation.hs Comorphisms/OWL2CASL.hs Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs Comorphisms/Prop2CASL.hs Comorphisms/RelScheme2CASL.hs Comorphisms/SuleCFOL2SoftFOL.hs ConstraintCASL/Logic_ConstraintCASL.hs CspCASL/Comorphisms.hs CspCASL/Logic_CspCASL.hs ExtModal/Logic_ExtModal.hs Fpl/Logic_Fpl.hs Framework/Logic_Framework.hs HolLight/Logic_HolLight.hs Isabelle/Logic_Isabelle.hs LF/Logic_LF.hs Modal/Logic_Modal.hs OMDoc/Logic_OMDoc.hs OWL2/OWL22CASL.hs SoftFOL/Logic_SoftFOL.hs THF/Logic_THF.hs VSE/Ana.hs VSE/Logic_VSE.hs VSE/Parse.hs var.mk
9703d28c412945aa7363171a01f71bed6ddc7d1c 02-Aug-2011 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

(make) added xml-version 1.3.9 to the test git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15841 cec4b9c1-7d33-0410-9eda-942365e851bb
7059fdf30dd36a0cf809b6c293cd3dc106e3ad3d 22-Jul-2011 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

(make) removed new compilerflag and added errormsg mechanism to makefile git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15670 cec4b9c1-7d33-0410-9eda-942365e851bb
f781b556585f0605c9f8eb48009a00d225e67848 21-Jul-2011 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

(make) checks for version of xml 1.3.7 or later git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15659 cec4b9c1-7d33-0410-9eda-942365e851bb
31a19b643466050266ab37ca41b2b0ecd928eb3c 12-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

rely on xml &gt;= 1.3.7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15528 cec4b9c1-7d33-0410-9eda-942365e851bb
29703a78d99e901a34d0eadd79c5d0c4c6898489 07-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

add sun runpath /opt/csw/lib for gtkglade git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15079 cec4b9c1-7d33-0410-9eda-942365e851bb
b48da8eae96db9e4966ffb2ea19cb28330e49c64 14-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow to compile with a hidden parsec1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14704 cec4b9c1-7d33-0410-9eda-942365e851bb
30f14756e4409a1ce4f17f26757b667ae9bbde64 02-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

added -rtsopts for ghc-7.0.2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14654 cec4b9c1-7d33-0410-9eda-942365e851bb
ddf25de550859f4fb093d78ffb4f11e5568c35de 25-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

use parsec1 if available git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14420 cec4b9c1-7d33-0410-9eda-942365e851bb
963c7ecece0ac78882bbfcbb0530d547bbb19554 18-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

fcontext-stack needs to be passed to haddock, too git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14237 cec4b9c1-7d33-0410-9eda-942365e851bb
5c8427a02f8437d550612667add2996c0282e57f 17-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

relax HTTP check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14232 cec4b9c1-7d33-0410-9eda-942365e851bb
dba6b2e42b046ece16ee96f563d19da61e6e8316 08-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

removed -L/usr/lib as it warns under x86_64 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14204 cec4b9c1-7d33-0410-9eda-942365e851bb
849f6befc3161e9e4e0463d23dbcdc0efce4802f 02-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

added -fcontext-stack for ghc-7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14187 cec4b9c1-7d33-0410-9eda-942365e851bb
0700f51d80b2e6f44dcb0dbb6afc478f9ac76670 02-Nov-2010 Serge Autexier <serge.autexier@dfki.de>

added /usr/lib for macosx git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14184 cec4b9c1-7d33-0410-9eda-942365e851bb
526e7f36639cb58e3c99a54bea082499a6b04a25 06-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

added directory navigation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14109 cec4b9c1-7d33-0410-9eda-942365e851bb
d27b1887e61f1dc53d77c37f59dbf5019242a686 22-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

added testing server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14087 cec4b9c1-7d33-0410-9eda-942365e851bb
aca2ab791cb1945ec9efacc07d68c3c424574f4f 08-Jun-2010 Christian Maeder <Christian.Maeder@dfki.de>

copied tabular sources git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13543 cec4b9c1-7d33-0410-9eda-942365e851bb
705e82c84b622acb38948903e11358fcf8114acc 02-Jun-2010 Christian Maeder <Christian.Maeder@dfki.de>

extensions are given in sources git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13495 cec4b9c1-7d33-0410-9eda-942365e851bb
5ca1fe655d7d4e35e59a082b5955b306643329d0 01-Jun-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

removed hxtfilter from Hets and fixing uris and output directories for the omdoc interface git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13477 cec4b9c1-7d33-0410-9eda-942365e851bb
4a81f31288324ffe94324a634c6b27c136ab2be4 31-May-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

integrated new version of xml which supports bytestrings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13465 cec4b9c1-7d33-0410-9eda-942365e851bb
f0a8cb240fea2ac6868275be657f48f4470d9932 21-Apr-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

added hexpat parser lib and a flag to compile with or without this lib. To use this parser one need to install 'hexpat' from Hackage git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13367 cec4b9c1-7d33-0410-9eda-942365e851bb
7862a43681d2d9e1580e0e1e9e587501deca0ab6 25-Feb-2010 Christian Maeder <Christian.Maeder@dfki.de>

use latest to avoid using a newer tabular version that does not work git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13118 cec4b9c1-7d33-0410-9eda-942365e851bb
4c90da13b8129fe511529f73bb030fa90ec98155 19-Feb-2010 Martin Kühl <martin.kuehl@gmail.com>

When checking the version of the `time' package, make sure we check the latest installed version. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13099 cec4b9c1-7d33-0410-9eda-942365e851bb
b79b05e4e9abe218e584273a9962d76cd41e390c 16-Feb-2010 Christian Maeder <Christian.Maeder@dfki.de>

inverted TIME_PACKAGE flag git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13076 cec4b9c1-7d33-0410-9eda-942365e851bb
0ffb56923aba245392e94067344fb6e252222d5c 22-Dec-2009 Christian Maeder <Christian.Maeder@dfki.de>

consider unix-2.4.x package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12952 cec4b9c1-7d33-0410-9eda-942365e851bb
170d3351a523430ce45aa2fe6e1d6d9d69680139 22-Dec-2009 Christian Maeder <Christian.Maeder@dfki.de>

gtk2hs-0.10.1 required git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12949 cec4b9c1-7d33-0410-9eda-942365e851bb
e1c309b2dbf9a0415c78cbbcbcb2b5ba5d10b776 09-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

separated unix-package dependency git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12613 cec4b9c1-7d33-0410-9eda-942365e851bb
e4aeced5394758cc762e8817d031855cc1abb02c 09-Oct-2009 Markus Gross <Markus.Gross@dfki.de>

Removed shellac dependency - now only haskeline is used. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12609 cec4b9c1-7d33-0410-9eda-942365e851bb
ab0c4f4b90b7e7745f5cbed31fbfc64be407d5d9 02-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed editline git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12569 cec4b9c1-7d33-0410-9eda-942365e851bb
c1daf531c303b260d71d799c638a039682c00845 19-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

added an inexact HTTP_PACKAGE check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12161 cec4b9c1-7d33-0410-9eda-942365e851bb
3e8b136f23ed57d40ee617f49bcac37830b58cab 13-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed Binary stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12102 cec4b9c1-7d33-0410-9eda-942365e851bb
c911a0ec80ca4a178399c68f1e28be4e2bf42fce 11-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

derive Binary instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12079 cec4b9c1-7d33-0410-9eda-942365e851bb
55ad4fa14f2e3581720a878c7725d7ada3b681d3 11-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed obsolete flags git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12073 cec4b9c1-7d33-0410-9eda-942365e851bb
b84d7a4ac7e1e4a5888f0db3a6384dd84072fd84 07-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

MATHSERVER no longer depends on HXTFILTER git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12043 cec4b9c1-7d33-0410-9eda-942365e851bb
7e11afd342a92b27991109105876609ed1cd5281 06-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed HaXml stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12036 cec4b9c1-7d33-0410-9eda-942365e851bb
5cac386aed997b7ae088e3b617fa4b3a9efbd74b 17-Jul-2009 Christian Maeder <Christian.Maeder@dfki.de>

check for time-1.1.4 in ghc-6.10.4 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11972 cec4b9c1-7d33-0410-9eda-942365e851bb
ff2cced55f8db4fe7b72b46f7852018e1e3283e4 04-Jun-2009 Christian Maeder <Christian.Maeder@dfki.de>

new time package with Typeable instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11785 cec4b9c1-7d33-0410-9eda-942365e851bb
0da8c0830787435fe62103cb23dfafd5c06155c0 04-Jun-2009 Christian Maeder <Christian.Maeder@dfki.de>

changed from compatline to haskeline git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11780 cec4b9c1-7d33-0410-9eda-942365e851bb
b5b382d402ab1d9e576fe5d01d59c2c56dd90969 15-Apr-2009 Christian Maeder <Christian.Maeder@dfki.de>

-XCPP takes too long git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11687 cec4b9c1-7d33-0410-9eda-942365e851bb
91b3380a74afbf09dc0e7a54c9ee6de26dfbc42a 06-Apr-2009 Christian Maeder <Christian.Maeder@dfki.de>

only use uni with hierarchical modules git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11649 cec4b9c1-7d33-0410-9eda-942365e851bb
ead7b3bf40a2e00fc8a5cca0763029ab931afcf3 06-Apr-2009 Christian Maeder <Christian.Maeder@dfki.de>

no longer use UNI_PACKAGE_CONF file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11648 cec4b9c1-7d33-0410-9eda-942365e851bb
b6427172803da8cc35b3f28cd2ddf240e075ed27 03-Apr-2009 Christian Maeder <Christian.Maeder@dfki.de>

also allow version 0.10.0 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11643 cec4b9c1-7d33-0410-9eda-942365e851bb
d12af746feb5c608c20fa9867ec14f657a9b536d 26-Mar-2009 Christian Maeder <Christian.Maeder@dfki.de>

but cpp warns about missing final newlines git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11593 cec4b9c1-7d33-0410-9eda-942365e851bb
7e9b6a126a638c1c3c7523d4b16ce339fad59af2 26-Mar-2009 Christian Maeder <Christian.Maeder@dfki.de>

without cpp should be faster git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11591 cec4b9c1-7d33-0410-9eda-942365e851bb
83e814d7ac048930de2fe34b5b23d883654a1777 25-Mar-2009 Christian Maeder <Christian.Maeder@dfki.de>

enforce better portability git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11578 cec4b9c1-7d33-0410-9eda-942365e851bb
920641c66390a85497e367ce5c7a10af445a93cc 02-Mar-2009 Christian Maeder <Christian.Maeder@dfki.de>

adjusted to new tar version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11452 cec4b9c1-7d33-0410-9eda-942365e851bb
dc8575383c824a3369edd5ef0bd8b6c9a8949355 28-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11451 cec4b9c1-7d33-0410-9eda-942365e851bb
2686d4438ffde954ffbb3a3f307642a893b33570 24-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

tar VSE specification files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11425 cec4b9c1-7d33-0410-9eda-942365e851bb
5580ab3e64410186ccd36cde8a94282d8757ac0d 20-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

strip via ghc linker option git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11412 cec4b9c1-7d33-0410-9eda-942365e851bb
a9de0a2f34860a24f457c777e740b7e87e6e3827 24-Dec-2008 Christian Maeder <Christian.Maeder@dfki.de>

changed language options for ghc-6.10.1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11193 cec4b9c1-7d33-0410-9eda-942365e851bb
4e9e95ba35a68f3c767bc0b23ebf9e904e442517 19-Dec-2008 Christian Maeder <Christian.Maeder@dfki.de>

support uni version 2 with hierarchical module names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11173 cec4b9c1-7d33-0410-9eda-942365e851bb
a91757fe2b73b73c43f41b6aa29876a1ae9e9b1b 18-Dec-2008 Christian Maeder <Christian.Maeder@dfki.de>

added comment for profiling git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11171 cec4b9c1-7d33-0410-9eda-942365e851bb
bea667f53e35535aa05b52ad8d5e5aa47f793c3c 04-Dec-2008 Christian Maeder <Christian.Maeder@dfki.de>

allow to run with editline directly git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11154 cec4b9c1-7d33-0410-9eda-942365e851bb
b36f451c8ccd631dac70b541450c880b65d86f3b 19-Nov-2008 Christian Maeder <Christian.Maeder@dfki.de>

call ghci without -DGTKGLADE git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11038 cec4b9c1-7d33-0410-9eda-942365e851bb
8bab1540f30a4e89c64ca2f8ebd23e9046388069 05-Nov-2008 Christian Maeder <Christian.Maeder@dfki.de>

separate variables for -DHXTFILTER and -DNOMATHSERVER git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10950 cec4b9c1-7d33-0410-9eda-942365e851bb
12251a9d23f842673978d0ad6692527ef320c55d 31-Oct-2008 Christian Maeder <Christian.Maeder@dfki.de>

added TABULAR_PACKAGE git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10925 cec4b9c1-7d33-0410-9eda-942365e851bb
52d0337a7483233a6d4484d113a30d10474182c0 30-Oct-2008 Christian Maeder <Christian.Maeder@dfki.de>

another OWL11 left over git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10913 cec4b9c1-7d33-0410-9eda-942365e851bb
7fe4aa6d1e595364b2fd66fe3936e353d6e07d86 24-Oct-2008 Christian Maeder <Christian.Maeder@dfki.de>

made OWL independent from HXT git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10874 cec4b9c1-7d33-0410-9eda-942365e851bb
79bc8f5fe2f1444e87da973a07d7cb9fc9342c22 21-Oct-2008 Christian Maeder <Christian.Maeder@dfki.de>

moved common variables to var.mk git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10851 cec4b9c1-7d33-0410-9eda-942365e851bb