From Malcolm.Wallace at cs.york.ac.uk Fri May 9 06:14:16 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Fri May 9 06:08:15 2008 Subject: [cvs-nhc98] patch applied (hat): update script/fixghc for ghc-6.8.x Message-ID: <20080509101416.GA20223@haskell.galois.com> Fri May 9 03:13:06 PDT 2008 Malcolm.Wallace@cs.york.ac.uk * update script/fixghc for ghc-6.8.x M ./script/fixghc -1 +66 View patch online: http://darcs.haskell.org/hat/_darcs/patches/20080509101306-6871e-7fc02bb40784061c3994cc4d9dfbf59a01e6812d.gz From Malcolm.Wallace at cs.york.ac.uk Mon May 12 06:43:46 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Mon May 12 06:37:36 2008 Subject: [cvs-nhc98] patch applied (hat): building with ghc-6.8.2 requires -package packedstring Message-ID: <20080512104346.GA11033@haskell.galois.com> Mon May 12 03:42:37 PDT 2008 Malcolm.Wallace@cs.york.ac.uk * building with ghc-6.8.2 requires -package packedstring M ./src/trans/Makefile -1 +1 View patch online: http://darcs.haskell.org/hat/_darcs/patches/20080512104237-6871e-598b945801e4c0d54a654b5c4e465dd55167d7da.gz From ndmitchell at gmail.com Wed May 14 05:49:41 2008 From: ndmitchell at gmail.com (Neil Mitchell) Date: Wed May 14 05:43:24 2008 Subject: [cvs-nhc98] patch applied (yhc): Erlang backend: proof of concept Message-ID: <20080514094941.GA16383@haskell.galois.com> Wed May 14 02:47:29 PDT 2008 golubovsky@gmail.com * Erlang backend: proof of concept A ./src/translator/erlang/ A ./src/translator/erlang/00proof/ A ./src/translator/erlang/00proof/Bkeep.hs A ./src/translator/erlang/00proof/Ebif.hs A ./src/translator/erlang/00proof/Ecore.hs A ./src/translator/erlang/00proof/Epretty.hs A ./src/translator/erlang/00proof/ErlOverlay.hs A ./src/translator/erlang/00proof/GZip.hs A ./src/translator/erlang/00proof/Makefile A ./src/translator/erlang/00proof/Test1.hs A ./src/translator/erlang/00proof/hs_test1.beam A ./src/translator/erlang/00proof/hserl.beam A ./src/translator/erlang/00proof/hserl.erl A ./src/translator/erlang/00proof/y2e.hs View patch online: http://darcs.haskell.org/yhc/_darcs/patches/20080514094729-29b23-f708f7ecc4071b2be9fb5022ccbe55a9478be5ba.gz From ndmitchell at gmail.com Wed May 14 06:00:31 2008 From: ndmitchell at gmail.com (Neil Mitchell) Date: Wed May 14 05:54:15 2008 Subject: [cvs-nhc98] patch applied (yhc): README for Erlang proof of concept. Message-ID: <20080514100031.GA16722@haskell.galois.com> Wed May 14 02:58:45 PDT 2008 golubovsky@gmail.com * README for Erlang proof of concept. A ./src/translator/erlang/00proof/README M ./src/translator/erlang/00proof/Test1.hs +2 M ./src/translator/erlang/00proof/hs_test1.beam View patch online: http://darcs.haskell.org/yhc/_darcs/patches/20080514095845-29b23-35b6e62991eeeb3561d68d5c405303cfc859ea2a.gz From ndmitchell at gmail.com Wed May 14 06:46:38 2008 From: ndmitchell at gmail.com (Neil Mitchell) Date: Wed May 14 06:40:21 2008 Subject: [cvs-nhc98] patch applied (yhc): Ad[_^H_][_^H_]Core file ins[_^H_]cluded for demo purposes. Message-ID: <20080514104638.GA18260@haskell.galois.com> Wed May 14 03:45:47 PDT 2008 golubovsky@gmail.com * Ad[_^H_][_^H_]Core file ins[_^H_]cluded for demo purposes. A ./src/translator/erlang/00proof/hs_test1.core View patch online: http://darcs.haskell.org/yhc/_darcs/patches/20080514104547-29b23-0bb39eff6c704d23c9e99c4dc08ca5a71ae283db.gz From Malcolm.Wallace at cs.york.ac.uk Tue May 20 05:06:13 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Tue May 20 04:59:37 2008 Subject: [cvs-nhc98] patch applied (hat): remove -package lang, add -package containers Message-ID: <20080520090613.GA14805@haskell.galois.com> Tue May 20 02:04:00 PDT 2008 Malcolm.Wallace@cs.york.ac.uk * remove -package lang, add -package containers M ./src/tools/Makefile -1 +2 View patch online: http://darcs.haskell.org/hat/_darcs/patches/20080520090400-6871e-6f878b7bebae32edc81f97cdb73b65f255fba1b8.gz From Malcolm.Wallace at cs.york.ac.uk Wed May 21 05:55:48 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Wed May 21 05:49:09 2008 Subject: [cvs-nhc98] patch applied (cpphs): fix haddock markup of cpp symbols Message-ID: <20080521095548.GA23472@haskell.galois.com> Wed May 21 02:54:34 PDT 2008 Malcolm.Wallace@cs.york.ac.uk * fix haddock markup of cpp symbols M ./Language/Preprocessor/Cpphs/Options.hs -5 +5 View patch online: http://darcs.haskell.org/cpphs/_darcs/patches/20080521095434-6871e-02481a498f4efc0664b6ce0abd2e31a9cdd0d540.gz From Malcolm.Wallace at cs.york.ac.uk Wed May 21 09:34:20 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Wed May 21 09:27:40 2008 Subject: [cvs-nhc98] patch applied (nhc98): nhc98-as-cross-compiler Message-ID: <20080521133419.GA1582@haskell.galois.com> Sun Apr 6 09:56:55 PDT 2008 myself@sylvain-nahas.com * nhc98-as-cross-compiler This patch adds support for building nhc98 as a cross-compiler. It does so by differencing during the build process between local toolchain (gcc) and cross-toolchain. The configure script has been modified to accept a flag --target and some options becomes mandatory since they can not be guessed in cross-compile mode. The normal build is not impacted by these changes. M ./Makefile -2 +3 M ./Makefile.inc -4 +3 M ./configure -27 +205 M ./darcs-all -1 +1 M ./docs/install.html +31 A ./script/cabal-parse.inst M ./script/harch -95 +2 A ./script/harch.inst M ./script/hsc2hs.inst -1 +2 M ./script/nhc98.inst -1 +1 M ./src/greencard/Makefile -2 +2 M ./src/hmake/Makefile -4 +4 M ./src/interpreter/Makefile -2 +2 M ./src/libraries/Makefile.cabal -1 +3 M ./src/runtime/Integer/Makefile -1 +1 M ./src/runtime/Makefile -2 +2 View patch online: http://darcs.haskell.org/nhc98/_darcs/patches/20080406165655-0cd26-b2914e0f1269ed16c2545e156679b3807ad2e796.gz From Malcolm.Wallace at cs.york.ac.uk Wed May 21 09:34:21 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Wed May 21 09:27:43 2008 Subject: [cvs-nhc98] patch applied (nhc98): script/harch is now pseudo-generated by ./configure Message-ID: <20080521133421.GA1599@haskell.galois.com> Tue May 20 02:17:30 PDT 2008 Malcolm.Wallace@cs.york.ac.uk * script/harch is now pseudo-generated by ./configure If cross-compiling, then harch simply echos the target architecture, otherwise it is the same detection script as before, sourced from harch.inst. R ./script/harch View patch online: http://darcs.haskell.org/nhc98/_darcs/patches/20080520091730-6871e-6b8b140a92f394a84a7ce1a101787480ede09723.gz From Malcolm.Wallace at cs.york.ac.uk Wed May 21 09:34:50 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Wed May 21 09:28:10 2008 Subject: [cvs-nhc98] patch applied (york-compiler98): nhc98-as-cross-compiler Message-ID: <20080521133450.GA1670@haskell.galois.com> Sun Apr 6 10:05:21 PDT 2008 myself@sylvain-nahas.com * nhc98-as-cross-compiler This patch adds support for building nhc98 as a cross-compiler. It does so by differencing during the build process between local toolchain (gcc) and cross-toolchain. The configure script has been modified to accept a flag --target and some options becomes mandatory since they can not be guessed in cross-compile mode. The normal build is not impacted by these changes. M ./Makefile -3 +3 M ./Makefile.hat -1 +1 View patch online: http://darcs.haskell.org/york-compiler98/_darcs/patches/20080406170521-0cd26-692f79bf79b4895c042c3b74b5b2849cd43c562b.gz From Malcolm.Wallace at cs.york.ac.uk Wed May 21 09:35:33 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Wed May 21 09:28:53 2008 Subject: [cvs-nhc98] patch applied (cpphs): nhc98-as-cross-compiler Message-ID: <20080521133532.GA1774@haskell.galois.com> Sun Apr 6 10:05:46 PDT 2008 myself@sylvain-nahas.com * nhc98-as-cross-compiler This patch adds support for building nhc98 as a cross-compiler. It does so by differencing during the build process between local toolchain (gcc) and cross-toolchain. The configure script has been modified to accept a flag --target and some options becomes mandatory since they can not be guessed in cross-compile mode. The normal build is not impacted by these changes. M ./Makefile -1 +1 M ./Makefile.nhc98 -2 +2 View patch online: http://darcs.haskell.org/cpphs/_darcs/patches/20080406170546-0cd26-14d0c1c7f255afd8c442271e0bed15cccdbc7938.gz From Malcolm.Wallace at cs.york.ac.uk Wed May 21 11:59:01 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Wed May 21 11:52:21 2008 Subject: [cvs-nhc98] patch applied (nhc98): small config fixes, following cross-compiler changes Message-ID: <20080521155901.GA5840@haskell.galois.com> Wed May 21 08:56:58 PDT 2008 Malcolm.Wallace@cs.york.ac.uk * small config fixes, following cross-compiler changes M ./Makefile -1 +1 M ./hmake-configure +1 View patch online: http://darcs.haskell.org/nhc98/_darcs/patches/20080521155658-6871e-13930db3aa47e594d28ec63907c1955415b697f1.gz From Malcolm.Wallace at cs.york.ac.uk Wed May 21 12:05:13 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Wed May 21 11:58:32 2008 Subject: [cvs-nhc98] patch applied (nhc98): update docs for new hmake release Message-ID: <20080521160513.GA6093@haskell.galois.com> Wed May 21 09:03:39 PDT 2008 Malcolm.Wallace@cs.york.ac.uk * update docs for new hmake release M ./docs/hmake/changes.html -1 +9 M ./docs/hmake/index.html -15 +10 View patch online: http://darcs.haskell.org/nhc98/_darcs/patches/20080521160339-6871e-6e718d7954b87e345b4ed047ac95aa17c2c16498.gz From Malcolm.Wallace at cs.york.ac.uk Wed May 21 12:05:15 2008 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Wed May 21 11:58:35 2008 Subject: [cvs-nhc98] patch applied (nhc98): bump hmake version to 3.14 Message-ID: <20080521160515.GA6118@haskell.galois.com> Wed May 21 09:04:11 PDT 2008 Malcolm.Wallace@cs.york.ac.uk * bump hmake version to 3.14 M ./Makefile.inc -1 +1 M ./hmake-configure -1 +1 View patch online: http://darcs.haskell.org/nhc98/_darcs/patches/20080521160411-6871e-f857d11789cb961f5d971bd7d8a3aa639d076188.gz