From p.s.hatton at bham.ac.uk Wed Aug 21 11:09:52 2013 From: p.s.hatton at bham.ac.uk (Paul Hatton) Date: Wed, 21 Aug 2013 10:09:52 +0100 Subject: [Hets-users] errors configuring HETS 2013-06-28 Message-ID: I am trying to build HETS 2013-06-28 on our central University HPC resource and am having problems with the configure. I have a great deal of experience in installing applications from source for various research groups but am new to HETS. The cluster is running 64-bit Scientific Linux 6.3 on Sandybridge hardware and I am using using gcc version 4.4.6 (the system default version with SL6.3) throughout. I have built ghc 7.6.3 without any problems, but when I try a quick build of HETS I get: export INSTALLDIR=/gpfs/apps/HETS/v2013-06-28 cd hets-src time gmake all 2>&1|tee ../logs/make_all-`date +%y_%m_%d_%Hh%Mm`.log which ends with ghc: can't find a package database at /uni-package.conf but there is one in find . -name uni-package.conf ./uni/uni-package.conf Looking at the log file there is also a message ghc-pkg: unrecognized option `--config-file' unrecognized option `--add-package' At first sight these errors look like an error in the configure, which is looking for /uni-package.conf not ./uni/uni-package.conf and also an incompatibility with ghc 7.6.3 (I checked the web site, which says that the ghc 7.6 series should be OK). Looking into this further, based on the top-level Makefile I tried: cd uni ./configure --prefix=/gpfs/apps/HETS/v2013-06-28 \ 2>&1|tee ../../logs/configure-`date +%y_%m_%d_%Hh%Mm`.log which includes in the output: Setting up packages and export packages file as empty ./configure: line 4111: mk/FixFileNames: No such file or directory ghc-pkg: unrecognized option `--config-file' unrecognized option `--add-package' The configure message is correct, although there is a mk/MainFixFileNames.hs so maybe this looks like an error in the configure script. Any suggestions to where I am going wrong would be greatly appreciated. Thanks -- Paul Hatton High Performance Computing and Visualisation Specialist IT Services, The University of Birmingham Ph: 0121-414-3994 Mob: 07785-977340 Skype: P.S.Hatton [Service Manager, Birmingham Environment for Academic Research] [ http://www.birmingham.ac.uk/bear ] [Also Technical Director, IBM Visual and Spatial Technology Centre] From Christian.Maeder at dfki.de Wed Aug 21 12:04:04 2013 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 21 Aug 2013 12:04:04 +0200 Subject: [Hets-users] errors configuring HETS 2013-06-28 In-Reply-To: <20130821091020.857239CD86_21483FCB@sea-mail.dfki.de> References: <20130821091020.857239CD86_21483FCB@sea-mail.dfki.de> Message-ID: <52149094.6080302@dfki.de> Hi Paul, our uni repository (https://svn-agbkb.informatik.uni-bremen.de/uni/trunk) is not needed by you, badly maintained and only used to build the required uni packages for upload to hackage. Building Hets from source requires a ghc (your version 7.6.3 is fine) with all necessary packages installed (using "cabal install ..."). (Under Ubuntu the necessary dependencies are installed by "sudo apt-get build-dep hets") I wonder which sources HETS/v2013-06-28/hets-src you downloaded? (It looks like "uni") The usual way is: svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets Within Hets there is a (unreliable) script utils/installHetsPkgs.sh that is supposed to install all the necessary ghc packages from hackage. (Omit the "--global" flag to install packages only locally.) Use "ghc-pkg list" to see which packages are installed. Within the Hets directory simply running "make" should compile a hets binary. (If this fails then some packages are probably missing or inconsistent.) Please contact me directly if you need further help. Cheers Christian (within uni only "make cabal" works after ./configure) Am 21.08.2013 11:09, schrieb Paul Hatton: > I am trying to build HETS 2013-06-28 on our central University HPC resource and am having problems with the configure. I have a great deal of experience in installing applications from source for various research groups but am new to HETS. The cluster is running 64-bit Scientific Linux 6.3 on Sandybridge hardware and I am using using gcc version 4.4.6 (the system default version with SL6.3) throughout. > > I have built ghc 7.6.3 without any problems, but when I try a quick build of HETS I get: > > export INSTALLDIR=/gpfs/apps/HETS/v2013-06-28 > cd hets-src > time gmake all 2>&1|tee ../logs/make_all-`date +%y_%m_%d_%Hh%Mm`.log > > which ends with > > ghc: can't find a package database at /uni-package.conf > > but there is one in > > find . -name uni-package.conf > ./uni/uni-package.conf > > Looking at the log file there is also a message > > ghc-pkg: unrecognized option `--config-file' > unrecognized option `--add-package' > > At first sight these errors look like an error in the configure, which is looking for /uni-package.conf not ./uni/uni-package.conf and also an incompatibility with ghc 7.6.3 (I checked the web site, which says that the ghc 7.6 series should be OK). Looking into this further, based on the top-level Makefile I tried: > > cd uni > ./configure --prefix=/gpfs/apps/HETS/v2013-06-28 \ > 2>&1|tee ../../logs/configure-`date +%y_%m_%d_%Hh%Mm`.log > > which includes in the output: > > Setting up packages and export packages file as empty > ./configure: line 4111: mk/FixFileNames: No such file or directory > ghc-pkg: unrecognized option `--config-file' > unrecognized option `--add-package' > > The configure message is correct, although there is a mk/MainFixFileNames.hs so maybe this looks like an error in the configure script. > > Any suggestions to where I am going wrong would be greatly appreciated. > > Thanks > > -- > Paul Hatton > High Performance Computing and Visualisation Specialist > IT Services, The University of Birmingham > Ph: 0121-414-3994 Mob: 07785-977340 Skype: P.S.Hatton > [Service Manager, Birmingham Environment for Academic Research] > [ http://www.birmingham.ac.uk/bear ] > [Also Technical Director, IBM Visual and Spatial Technology Centre] > > > > _______________________________________________ > Hets-users mailing list > Hets-users at informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users > > From p.s.hatton at bham.ac.uk Wed Aug 21 12:12:44 2013 From: p.s.hatton at bham.ac.uk (Paul Hatton) Date: Wed, 21 Aug 2013 11:12:44 +0100 Subject: [Hets-users] errors configuring HETS 2013-06-28 Message-ID: Thanks Christian; I'll take this off-list now. I did try the repository and ran into other problems but didn't follow that up since I thought the configure/make was probably the way to go. I'll revisit that and contact you directly with any problems. Regards -- Paul Hatton High Performance Computing and Visualisation Specialist IT Services, The University of Birmingham Ph: 0121-414-3994 Mob: 07785-977340 Skype: P.S.Hatton [Service Manager, Birmingham Environment for Academic Research] [ http://www.birmingham.ac.uk/bear ] [Also Technical Director, IBM Visual and Spatial Technology Centre] -----Original Message----- From: Christian Maeder [mailto:Christian.Maeder at dfki.de] Sent: 21 August 2013 11:04 To: Paul Hatton Cc: Hets users Subject: Re: [Hets-users] errors configuring HETS 2013-06-28 Hi Paul, our uni repository (https://svn-agbkb.informatik.uni-bremen.de/uni/trunk) is not needed by you, badly maintained and only used to build the required uni packages for upload to hackage. Building Hets from source requires a ghc (your version 7.6.3 is fine) with all necessary packages installed (using "cabal install ..."). (Under Ubuntu the necessary dependencies are installed by "sudo apt-get build-dep hets") I wonder which sources HETS/v2013-06-28/hets-src you downloaded? (It looks like "uni") The usual way is: svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets Within Hets there is a (unreliable) script utils/installHetsPkgs.sh that is supposed to install all the necessary ghc packages from hackage. (Omit the "--global" flag to install packages only locally.) Use "ghc-pkg list" to see which packages are installed. Within the Hets directory simply running "make" should compile a hets binary. (If this fails then some packages are probably missing or inconsistent.) Please contact me directly if you need further help. Cheers Christian (within uni only "make cabal" works after ./configure) Am 21.08.2013 11:09, schrieb Paul Hatton: > I am trying to build HETS 2013-06-28 on our central University HPC resource and am having problems with the configure. I have a great deal of experience in installing applications from source for various research groups but am new to HETS. The cluster is running 64-bit Scientific Linux 6.3 on Sandybridge hardware and I am using using gcc version 4.4.6 (the system default version with SL6.3) throughout. > > I have built ghc 7.6.3 without any problems, but when I try a quick build of HETS I get: > > export INSTALLDIR=/gpfs/apps/HETS/v2013-06-28 > cd hets-src > time gmake all 2>&1|tee ../logs/make_all-`date +%y_%m_%d_%Hh%Mm`.log > > which ends with > > ghc: can't find a package database at /uni-package.conf > > but there is one in > > find . -name uni-package.conf > ./uni/uni-package.conf > > Looking at the log file there is also a message > > ghc-pkg: unrecognized option `--config-file' > unrecognized option `--add-package' > > At first sight these errors look like an error in the configure, which is looking for /uni-package.conf not ./uni/uni-package.conf and also an incompatibility with ghc 7.6.3 (I checked the web site, which says that the ghc 7.6 series should be OK). Looking into this further, based on the top-level Makefile I tried: > > cd uni > ./configure --prefix=/gpfs/apps/HETS/v2013-06-28 \ > 2>&1|tee ../../logs/configure-`date +%y_%m_%d_%Hh%Mm`.log > > which includes in the output: > > Setting up packages and export packages file as empty > ./configure: line 4111: mk/FixFileNames: No such file or directory > ghc-pkg: unrecognized option `--config-file' > unrecognized option `--add-package' > > The configure message is correct, although there is a mk/MainFixFileNames.hs so maybe this looks like an error in the configure script. > > Any suggestions to where I am going wrong would be greatly appreciated. > > Thanks > > -- > Paul Hatton > High Performance Computing and Visualisation Specialist > IT Services, The University of Birmingham > Ph: 0121-414-3994 Mob: 07785-977340 Skype: P.S.Hatton > [Service Manager, Birmingham Environment for Academic Research] > [ http://www.birmingham.ac.uk/bear ] > [Also Technical Director, IBM Visual and Spatial Technology Centre] > > > > _______________________________________________ > Hets-users mailing list > Hets-users at informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users > > From math.semantic.web at gmail.com Wed Aug 21 12:17:36 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Wed, 21 Aug 2013 12:17:36 +0200 Subject: [Hets-users] errors configuring HETS 2013-06-28 In-Reply-To: References: Message-ID: <521493C0.90507@gmail.com> Hi Paul, hi Christian, first of all, @Christian, thanks for so quickly replying to Paul's question! Paul is trying to install Hets for our research project, and after some communication by personal email I had suggested to him to ask questions of general interest on this mailing list (to get help from more people than just me, and to document issues), and I had promised to answer, again on the mailing list, these questions as far as I can. I could imagine that Paul downloaded a source tarball from http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/, which is linked from http://trac.informatik.uni-bremen.de:8080/hets/wiki/HetsForDevelopers. @Christian, how stable are these "releases"? To someone interested in reasonably stable software (@Paul, I think you are), would you recommend these releases? Or is there something even stabler? FYI, @Paul, I see that there is now a new version http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets-src-2013-08-09.tgz. 2013-08-21 11:09 Paul Hatton: > export INSTALLDIR=/gpfs/apps/HETS/v2013-06-28 > cd hets-src > time gmake all 2>&1|tee ../logs/make_all-`date +%y_%m_%d_%Hh%Mm`.log INSTALL says you should first do "make depend". I have done this, trying to reproduce your problem, and now "make" seems to take a lot of time without any output. But I'm not experienced with this way of building Hets. I have so far always built it from the SVN trunk, where the procedure is different (just "make"). Cheers, Christoph -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec/, Skype duke4701 ? Mathematics in Computer Science Special Issue on ?Enabling Domain Experts to use Formalised Reasoning?; submission until 31 October. http://cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/ From math.semantic.web at gmail.com Wed Aug 21 12:25:35 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Wed, 21 Aug 2013 12:25:35 +0200 Subject: [Hets-users] errors configuring HETS 2013-06-28 In-Reply-To: <521493C0.90507@gmail.com> References: <521493C0.90507@gmail.com> Message-ID: <5214959F.7060800@gmail.com> 2013-08-21 12:17 Christoph LANGE: > 2013-08-21 11:09 Paul Hatton: >> export INSTALLDIR=/gpfs/apps/HETS/v2013-06-28 >> cd hets-src >> time gmake all 2>&1|tee ../logs/make_all-`date +%y_%m_%d_%Hh%Mm`.log > > INSTALL says you should first do "make depend". I have done this, > trying to reproduce your problem, and now "make" seems to take a lot of > time without any output. OK, "make" finished without any errors, after 10 or more minutes. It turns out that in this source code distribution "make" operates largely silently. I tried with the 2013-08-09 release. I am using ghc 7.6.3 and have all Haskell dependencies installed, either as distribution packages or via "cabal install". Cheers, Christoph -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec/, Skype duke4701 ? Mathematics in Computer Science Special Issue on ?Enabling Domain Experts to use Formalised Reasoning?; submission until 31 October. http://cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/ From Christian.Maeder at dfki.de Wed Aug 21 14:53:04 2013 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 21 Aug 2013 14:53:04 +0200 Subject: [Hets-users] errors configuring HETS 2013-06-28 In-Reply-To: <521493C0.90507@gmail.com> References: <521493C0.90507@gmail.com> Message-ID: <5214B830.6090309@dfki.de> Hi Christoph, these source tarballs (ie. Hets-src-2013-08-09.tgz) are more stable than daily snapshots as they passed some manual inspections. The most recent official stable release is Hets-src-0.99.tgz from 23-Apr-2013 which is also packaged for Ubuntu (Precise, Raring). Therefore I recommend this release, unless you need a feature only implemented later. Building from source tarballs takes long(er) (and is quiet), because an optimized binary is created. You are more flexible if you just build an unoptimized binary from the svn sources. (If this does not work we need to fix it soon anyway.) Under Ubuntu you have the advantage to try out our daily binary snapshots (via "sudo hets -update" and "sudo hets -revert"). These binaries may run on other linux boxes, too. They run for us under SuSE. Note, the next problem of installing hets is installing the related tools (like uDrawGraph) und provers (SPASS, pellet, darwin). Therefore we actually recommend to run hets in a virtual box with an Ubuntu guest OS (and should more stress this on our home page). Cheers Christian Am 21.08.2013 12:17, schrieb Christoph LANGE: > Hi Paul, hi Christian, > > first of all, @Christian, thanks for so quickly replying to Paul's > question! Paul is trying to install Hets for our research project, and > after some communication by personal email I had suggested to him to ask > questions of general interest on this mailing list (to get help from > more people than just me, and to document issues), and I had promised to > answer, again on the mailing list, these questions as far as I can. > > I could imagine that Paul downloaded a source tarball from > http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/, > which is linked from > http://trac.informatik.uni-bremen.de:8080/hets/wiki/HetsForDevelopers. > @Christian, how stable are these "releases"? To someone interested in > reasonably stable software (@Paul, I think you are), would you recommend > these releases? Or is there something even stabler? > > FYI, @Paul, I see that there is now a new version > http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets-src-2013-08-09.tgz. > > 2013-08-21 11:09 Paul Hatton: >> export INSTALLDIR=/gpfs/apps/HETS/v2013-06-28 >> cd hets-src >> time gmake all 2>&1|tee ../logs/make_all-`date +%y_%m_%d_%Hh%Mm`.log > > INSTALL says you should first do "make depend". I have done this, > trying to reproduce your problem, and now "make" seems to take a lot of > time without any output. But I'm not experienced with this way of > building Hets. I have so far always built it from the SVN trunk, where > the procedure is different (just "make"). > > Cheers, > > Christoph > From p.s.hatton at bham.ac.uk Wed Aug 21 14:56:06 2013 From: p.s.hatton at bham.ac.uk (Paul Hatton) Date: Wed, 21 Aug 2013 13:56:06 +0100 Subject: [Hets-users] errors configuring HETS 2013-06-28 Message-ID: Thanks. To save me going round in circles, and I appreciate that it's probably on the web site or in this thread somewhere and I should probably track it down myself, what's the exact URL to get Hets-src-0.99.tgz? -- Paul Hatton High Performance Computing and Visualisation Specialist IT Services, The University of Birmingham Ph: 0121-414-3994 Mob: 07785-977340 Skype: P.S.Hatton [Service Manager, Birmingham Environment for Academic Research] [ http://www.birmingham.ac.uk/bear ] [Also Technical Director, IBM Visual and Spatial Technology Centre] -----Original Message----- From: Christian Maeder [mailto:Christian.Maeder at dfki.de] Sent: 21 August 2013 13:53 To: Christoph LANGE Cc: Paul Hatton; hets-users at informatik.uni-bremen.de Subject: Re: [Hets-users] errors configuring HETS 2013-06-28 Hi Christoph, these source tarballs (ie. Hets-src-2013-08-09.tgz) are more stable than daily snapshots as they passed some manual inspections. The most recent official stable release is Hets-src-0.99.tgz from 23-Apr-2013 which is also packaged for Ubuntu (Precise, Raring). Therefore I recommend this release, unless you need a feature only implemented later. Building from source tarballs takes long(er) (and is quiet), because an optimized binary is created. You are more flexible if you just build an unoptimized binary from the svn sources. (If this does not work we need to fix it soon anyway.) Under Ubuntu you have the advantage to try out our daily binary snapshots (via "sudo hets -update" and "sudo hets -revert"). These binaries may run on other linux boxes, too. They run for us under SuSE. Note, the next problem of installing hets is installing the related tools (like uDrawGraph) und provers (SPASS, pellet, darwin). Therefore we actually recommend to run hets in a virtual box with an Ubuntu guest OS (and should more stress this on our home page). Cheers Christian Am 21.08.2013 12:17, schrieb Christoph LANGE: > Hi Paul, hi Christian, > > first of all, @Christian, thanks for so quickly replying to Paul's > question! Paul is trying to install Hets for our research project, and > after some communication by personal email I had suggested to him to ask > questions of general interest on this mailing list (to get help from > more people than just me, and to document issues), and I had promised to > answer, again on the mailing list, these questions as far as I can. > > I could imagine that Paul downloaded a source tarball from > http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/, > which is linked from > http://trac.informatik.uni-bremen.de:8080/hets/wiki/HetsForDevelopers. > @Christian, how stable are these "releases"? To someone interested in > reasonably stable software (@Paul, I think you are), would you recommend > these releases? Or is there something even stabler? > > FYI, @Paul, I see that there is now a new version > http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets-src-2013-08-09.tgz. > > 2013-08-21 11:09 Paul Hatton: >> export INSTALLDIR=/gpfs/apps/HETS/v2013-06-28 >> cd hets-src >> time gmake all 2>&1|tee ../logs/make_all-`date +%y_%m_%d_%Hh%Mm`.log > > INSTALL says you should first do "make depend". I have done this, > trying to reproduce your problem, and now "make" seems to take a lot of > time without any output. But I'm not experienced with this way of > building Hets. I have so far always built it from the SVN trunk, where > the procedure is different (just "make"). > > Cheers, > > Christoph > From Christian.Maeder at dfki.de Wed Aug 21 14:57:36 2013 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 21 Aug 2013 14:57:36 +0200 Subject: [Hets-users] errors configuring HETS 2013-06-28 In-Reply-To: References: Message-ID: <5214B940.8080005@dfki.de> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets-src-0.99.tgz Am 21.08.2013 14:56, schrieb Paul Hatton: > Thanks. To save me going round in circles, and I appreciate that it's probably on the web site or in this thread somewhere and I should probably track it down myself, what's the exact URL to get Hets-src-0.99.tgz? > > -- > Paul Hatton > High Performance Computing and Visualisation Specialist > IT Services, The University of Birmingham > Ph: 0121-414-3994 Mob: 07785-977340 Skype: P.S.Hatton > [Service Manager, Birmingham Environment for Academic Research] > [ http://www.birmingham.ac.uk/bear ] > [Also Technical Director, IBM Visual and Spatial Technology Centre] > > > -----Original Message----- > From: Christian Maeder [mailto:Christian.Maeder at dfki.de] > Sent: 21 August 2013 13:53 > To: Christoph LANGE > Cc: Paul Hatton; hets-users at informatik.uni-bremen.de > Subject: Re: [Hets-users] errors configuring HETS 2013-06-28 > > Hi Christoph, > > these source tarballs (ie. Hets-src-2013-08-09.tgz) are more stable than > daily snapshots as they passed some manual inspections. > > The most recent official stable release is Hets-src-0.99.tgz from > 23-Apr-2013 which is also packaged for Ubuntu (Precise, Raring). > Therefore I recommend this release, unless you need a feature only > implemented later. > > Building from source tarballs takes long(er) (and is quiet), because an > optimized binary is created. > > You are more flexible if you just build an unoptimized binary from the > svn sources. (If this does not work we need to fix it soon anyway.) > > Under Ubuntu you have the advantage to try out our daily binary > snapshots (via "sudo hets -update" and "sudo hets -revert"). > > These binaries may run on other linux boxes, too. They run for us under > SuSE. > > Note, the next problem of installing hets is installing the related > tools (like uDrawGraph) und provers (SPASS, pellet, darwin). > > Therefore we actually recommend to run hets in a virtual box with an > Ubuntu guest OS (and should more stress this on our home page). > > Cheers Christian > > Am 21.08.2013 12:17, schrieb Christoph LANGE: >> Hi Paul, hi Christian, >> >> first of all, @Christian, thanks for so quickly replying to Paul's >> question! Paul is trying to install Hets for our research project, and >> after some communication by personal email I had suggested to him to ask >> questions of general interest on this mailing list (to get help from >> more people than just me, and to document issues), and I had promised to >> answer, again on the mailing list, these questions as far as I can. >> >> I could imagine that Paul downloaded a source tarball from >> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/, >> which is linked from >> http://trac.informatik.uni-bremen.de:8080/hets/wiki/HetsForDevelopers. >> @Christian, how stable are these "releases"? To someone interested in >> reasonably stable software (@Paul, I think you are), would you recommend >> these releases? Or is there something even stabler? >> >> FYI, @Paul, I see that there is now a new version >> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets-src-2013-08-09.tgz. >> >> 2013-08-21 11:09 Paul Hatton: >>> export INSTALLDIR=/gpfs/apps/HETS/v2013-06-28 >>> cd hets-src >>> time gmake all 2>&1|tee ../logs/make_all-`date +%y_%m_%d_%Hh%Mm`.log >> >> INSTALL says you should first do "make depend". I have done this, >> trying to reproduce your problem, and now "make" seems to take a lot of >> time without any output. But I'm not experienced with this way of >> building Hets. I have so far always built it from the SVN trunk, where >> the procedure is different (just "make"). >> >> Cheers, >> >> Christoph >> >