From rick at rickmurphy.org Mon Aug 9 20:26:08 2010 From: rick at rickmurphy.org (rick at rickmurphy.org) Date: Mon, 09 Aug 2010 18:26:08 +0000 Subject: [Hets-users] building with haskell platform - 6.12.1 Message-ID: Hi Christian: I recently switched machines and wanted to check before I begin a new install. It appears that the 0.95 installer requires 6.10.x for the build, but the haskell platform recently distributed 6.12.1 nad may even be up to 6.12.3 by today. Is there a Hets available that will build against the haskell platform? BTW - I now see that common logic is also available. This is great news and a great addition ! -- Rick -------------- next part -------------- An HTML attachment was scrubbed... URL: From Christian.Maeder at dfki.de Tue Aug 10 10:34:54 2010 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Tue, 10 Aug 2010 10:34:54 +0200 Subject: [Hets-users] building with haskell platform - 6.12.1 In-Reply-To: References: Message-ID: <4C610F2E.4000403@dfki.de> rick at rickmurphy.org schrieb: > Hi Christian: > > I recently switched machines and wanted to check before I begin a new > install. > > It appears that the 0.95 installer requires 6.10.x for the build, but > the haskell platform recently distributed 6.12.1 nad may even be up to > 6.12.3 by today. Is there a Hets available that will build against the > haskell platform? Yes, the release 0.95 was built using ghc-6.10.4. However, the installers contain compiled binaries, so should run (given quite a few standard dynamic libraries). Our current sources can be compiled using ghc-6.12.3. (cabal will be sufficient to install missing packages, i.e. xml, haskell-src) The easiest installation procedure will be via Ubuntu packages. http://trac.informatik.uni-bremen.de:8080/hets/ticket/814 Is this an option for you or which OS are you using? > BTW - I now see that common logic is also available. This is great news > and a great addition ! I don't know how mature the corresponding implementation is. Maybe Till can say more. Cheers Christian From rick at rickmurphy.org Tue Aug 10 14:42:38 2010 From: rick at rickmurphy.org (Rick Murphy) Date: Tue, 10 Aug 2010 08:42:38 -0400 Subject: [Hets-users] building with haskell platform - 6.12.1 In-Reply-To: <4C610F2E.4000403@dfki.de> References: <4C610F2E.4000403@dfki.de> Message-ID: <4C61493E.2080503@rickmurphy.org> On 8/10/2010 4:34 AM, Christian Maeder wrote: > rick at rickmurphy.org schrieb: > The easiest installation procedure will be via Ubuntu packages. > http://trac.informatik.uni-bremen.de:8080/hets/ticket/814 > > Is this an option for you or which OS are you using? Yes, after many happy years with Solaris, I chose Ubuntu Lucid x86_64 for my new i7 laptop. So far, so good from a user experience level. I still need to look into multi-core, hyperhtreading, thread boosting, etc. I read ticket #814, signed up for Communtu and viewed Till's StandardInstallation. Please let me know the next steps and I happy to report back so others can benefit. I am still familiarizing myself with the Ubuntu package managers, but I have successfully used a PPA and can execute the necessary apt-get commands, etc. >> BTW - I now see that common logic is also available. This is great news >> and a great addition ! > > I don't know how mature the corresponding implementation is. > Maybe Till can say more. I'd be happy to serve as a beta tester. I'm in contact with the leaders of the CL community on a regular basis. John Sowa's been a great mentor and I'm sure would provide me advice and guidance. Please let me know how I can help ! > Cheers Christian