From christoph.lange at uni-bremen.de Tue Nov 1 13:08:04 2011 From: christoph.lange at uni-bremen.de (Christoph LANGE) Date: Tue, 01 Nov 2011 13:08:04 +0100 Subject: [Hets-users] Installing from sources (on Gentoo Linux): How to build programatica? Message-ID: <4EAFE124.8050607@uni-bremen.de> Dear all, I am trying to install Hets from the sources (= a checkout of the Hets/trunk svn) on Gentoo Linux (amd64). I managed to install all dependencies ? except programatica. Therefore "make depend" still complains. programatica is not available from Hackage (via "cabal install"). I noticed that there is https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/utils/programatica.cabal, but how do I use it? I have no experience with building Haskell packages and just very superficial experience with installing pre-packaged ones. BTW once I'm done with this I might write up a short report. Please let me know if you'd like me to post it to this list, or to put it into the Trac. So much for now: 1. About one half of the required dependencies are available in the portage tree, but some of them are unstable and thus require "keywords" configuration. 2. Another half is available in the "gentoo-haskell" overlay. 3. A few more packages require semi-manual installation using "cabal install". Cheers, and thanks in advance, Christoph -- Christoph Lange, Universit?t Bremen http://kwarc.info/clange, Skype duke4701 Workshop: Ontologies come of Age in the Semantic Web (OCAS) October 24 at the Intl. Semantic Web Conference, Bonn, Germany http://ocas.mywikipaper.org From Christian.Maeder at dfki.de Tue Nov 1 13:34:55 2011 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Tue, 01 Nov 2011 13:34:55 +0100 Subject: [Hets-users] Installing from sources (on Gentoo Linux): How to build programatica? In-Reply-To: <4EAFE124.8050607@uni-bremen.de> References: <4EAFE124.8050607@uni-bremen.de> Message-ID: <4EAFE76F.2080909@dfki.de> Am 01.11.2011 13:08, schrieb Christoph LANGE: > Dear all, > > I am trying to install Hets from the sources (= a checkout of the > Hets/trunk svn) on Gentoo Linux (amd64). > > I managed to install all dependencies ? except programatica. Therefore > "make depend" still complains. programatica is not available from > Hackage (via "cabal install"). I noticed that there is > https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/utils/programatica.cabal, > but how do I use it? I have no experience with building Haskell > packages and just very superficial experience with installing > pre-packaged ones. if you unpack https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/utils/debian/auto-package/programatica.tar.gz in the parent directory so that the link https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/programatica is no longer dead, then simply calling "make" will build the programatica package. (Call "make" again to rebuilt hets.) programatica can not be compiled using ghc-7.2.1 (http://hackage.haskell.org/trac/ghc/ticket/5445) It's not enough to just have the cabal package programatica, also the sources are needed by hets to create ATC-files. I recommend to build hets without programatica, as we may need to drop or adjust our support for the Haskell logic anyway. "make" just issues a message that programatica was not found. This message can be ignored. HTH Christian P.S. usually installing gtk and glade is more problematic, since they require gkt2hs-buildtools. > > BTW once I'm done with this I might write up a short report. Please let > me know if you'd like me to post it to this list, or to put it into the > Trac. So much for now: > > 1. About one half of the required dependencies are available in the > portage tree, but some of them are unstable and thus require "keywords" > configuration. > > 2. Another half is available in the "gentoo-haskell" overlay. > > 3. A few more packages require semi-manual installation using "cabal > install". > > Cheers, and thanks in advance, > > Christoph > From till at informatik.uni-bremen.de Tue Nov 1 13:22:33 2011 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Tue, 01 Nov 2011 13:22:33 +0100 Subject: [Hets-users] Installing from sources (on Gentoo Linux): How to build programatica? In-Reply-To: <4EAFE124.8050607@uni-bremen.de> References: <4EAFE124.8050607@uni-bremen.de> Message-ID: <4EAFE489.7050901@informatik.uni-bremen.de> Dear all, I think there is a possibility to leave out programatica entirely (you need it only for Haskell). Best, Till Am 01.11.2011 13:08, schrieb Christoph LANGE: > Dear all, > > I am trying to install Hets from the sources (= a checkout of the > Hets/trunk svn) on Gentoo Linux (amd64). > > I managed to install all dependencies ? except programatica. Therefore > "make depend" still complains. programatica is not available from > Hackage (via "cabal install"). I noticed that there is > https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/utils/programatica.cabal, > but how do I use it? I have no experience with building Haskell > packages and just very superficial experience with installing > pre-packaged ones. > > BTW once I'm done with this I might write up a short report. Please let > me know if you'd like me to post it to this list, or to put it into the > Trac. So much for now: > > 1. About one half of the required dependencies are available in the > portage tree, but some of them are unstable and thus require "keywords" > configuration. > > 2. Another half is available in the "gentoo-haskell" overlay. > > 3. A few more packages require semi-manual installation using "cabal > install". > > Cheers, and thanks in advance, > > Christoph > From christoph.lange at uni-bremen.de Tue Nov 1 15:33:11 2011 From: christoph.lange at uni-bremen.de (Christoph LANGE) Date: Tue, 01 Nov 2011 15:33:11 +0100 Subject: [Hets-users] Installing from sources (on Gentoo Linux): How to build programatica? In-Reply-To: <4EAFE76F.2080909@dfki.de> References: <4EAFE124.8050607@uni-bremen.de> <4EAFE76F.2080909@dfki.de> Message-ID: <4EB00327.7090504@uni-bremen.de> Hi Christian, hi Till, thanks for your advice ? that helped. Almost (see below). I had some more problems with missing dependencies, which were _not_ reported by "make depend". Indeed I had read somewhere (don't remember where) that you said that programatica is optional, but I had taken the advice from "make depend" too seriously. Now it seems that there is still a dependency missing. All that "make depend" reports missing is programatica, but then when I run "make", it reports further errors that require me to install additional packages. I see that the INSTALL file reports such behavior, but I think it would be friendly if make could at least tell me which _packages_ I have to install. The first run of make gave me this error: > HolLight/HolLight2DG.hs:39:7: > Could not find module `Data.Graph.Inductive.Graph': > Use -v to see a list of the files searched for. That required installing fgl (available as a Gentoo package). The second run said: > HolLight/ATC_HolLight.hs:36:7: > Could not find module `ATerm.Lib': > Use -v to see a list of the files searched for. That required installing aterm (via cabal install). > Static/XGraph.hs:33:7: > Could not find module `Text.XML.Light': > Use -v to see a list of the files searched for. That required installing xml (available as an unstable Gentoo package). After that everything compiled successfully. Some final comments: 2011-11-01 13:34 Christian Maeder: > programatica can not be compiled using ghc-7.2.1 > (http://hackage.haskell.org/trac/ghc/ticket/5445) That wouldn't have been a problem, as I have ghc 6.12.3 here. > P.S. usually installing gtk and glade is more problematic, since they > require gkt2hs-buildtools. These are available as a stable package for Gentoo :-) Cheers, Christoph -- Christoph Lange, Universit?t Bremen http://kwarc.info/clange, Skype duke4701 Workshop: Ontologies come of Age in the Semantic Web (OCAS) October 24 at the Intl. Semantic Web Conference, Bonn, Germany http://ocas.mywikipaper.org From Christian.Maeder at dfki.de Tue Nov 1 15:50:07 2011 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Tue, 01 Nov 2011 15:50:07 +0100 Subject: [Hets-users] Installing from sources (on Gentoo Linux): How to build programatica? In-Reply-To: <4EB00327.7090504@uni-bremen.de> References: <4EAFE124.8050607@uni-bremen.de> <4EAFE76F.2080909@dfki.de> <4EB00327.7090504@uni-bremen.de> Message-ID: <4EB0071F.1070908@dfki.de> Am 01.11.2011 15:33, schrieb Christoph LANGE: > Hi Christian, hi Till, > > thanks for your advice ? that helped. Almost (see below). I had some > more problems with missing dependencies, which were _not_ reported by > "make depend". What do you mean by "make depend"? I get: make: *** Keine Regel, um ?depend? zu erstellen. Schluss. > Indeed I had read somewhere (don't remember where) that you said that > programatica is optional, but I had taken the advice from "make depend" > too seriously. > > Now it seems that there is still a dependency missing. All that "make > depend" reports missing is programatica, but then when I run "make", it > reports further errors that require me to install additional packages. > I see that the INSTALL file reports such behavior, but I think it would > be friendly if make could at least tell me which _packages_ I have to > install. The needed cabal packages are listed in https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/Hets.cabal and https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/utils/installHetsPkgs.sh is a script to install the needed cabal packages. Cheers Christian > > The first run of make gave me this error: > >> HolLight/HolLight2DG.hs:39:7: >> Could not find module `Data.Graph.Inductive.Graph': >> Use -v to see a list of the files searched for. > > That required installing fgl (available as a Gentoo package). > > The second run said: > >> HolLight/ATC_HolLight.hs:36:7: >> Could not find module `ATerm.Lib': >> Use -v to see a list of the files searched for. > > That required installing aterm (via cabal install). > >> Static/XGraph.hs:33:7: >> Could not find module `Text.XML.Light': >> Use -v to see a list of the files searched for. > > That required installing xml (available as an unstable Gentoo package). > > After that everything compiled successfully. > > Some final comments: > > 2011-11-01 13:34 Christian Maeder: >> programatica can not be compiled using ghc-7.2.1 >> (http://hackage.haskell.org/trac/ghc/ticket/5445) > > That wouldn't have been a problem, as I have ghc 6.12.3 here. > >> P.S. usually installing gtk and glade is more problematic, since they >> require gkt2hs-buildtools. > > These are available as a stable package for Gentoo :-) > > Cheers, > > Christoph > From christoph.lange at uni-bremen.de Tue Nov 1 16:20:29 2011 From: christoph.lange at uni-bremen.de (Christoph LANGE) Date: Tue, 01 Nov 2011 16:20:29 +0100 Subject: [Hets-users] Installing from sources (on Gentoo Linux): How to build programatica? In-Reply-To: <4EB0071F.1070908@dfki.de> References: <4EAFE124.8050607@uni-bremen.de> <4EAFE76F.2080909@dfki.de> <4EB00327.7090504@uni-bremen.de> <4EB0071F.1070908@dfki.de> Message-ID: <4EB00E3D.5060305@uni-bremen.de> Hi Christian, 2011-11-01 15:50 Christian Maeder: > What do you mean by "make depend"? I get: > > make: *** Keine Regel, um ?depend? zu erstellen. Schluss. When some dependencies are not installed (in my case: programatica), the output is different: $ make depend ghc-pkg: cannot find package programatica make: *** No rule to make target `depend'. Stop. Not sure why "make depend" does something but still claims that there is no such target ;-) But INSTALL says that one should run "make depend". > The needed cabal packages are listed in > https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/Hets.cabal > and > https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/utils/installHetsPkgs.sh > is a script to install the needed cabal packages. OK, thanks! Next time it will be easier for me. My situation was a bit more complex as I had first tried to install as many packages as possible via my distribution's package manager, instead of cabal. Cheers, Christoph -- Christoph Lange, Universit?t Bremen http://kwarc.info/clange, Skype duke4701 Workshop: Ontologies come of Age in the Semantic Web (OCAS) October 24 at the Intl. Semantic Web Conference, Bonn, Germany http://ocas.mywikipaper.org From Christian.Maeder at dfki.de Tue Nov 1 16:38:13 2011 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Tue, 01 Nov 2011 16:38:13 +0100 Subject: [Hets-users] Installing from sources (on Gentoo Linux): How to build programatica? In-Reply-To: <4EB00E3D.5060305@uni-bremen.de> References: <4EAFE124.8050607@uni-bremen.de> <4EAFE76F.2080909@dfki.de> <4EB00327.7090504@uni-bremen.de> <4EB0071F.1070908@dfki.de> <4EB00E3D.5060305@uni-bremen.de> Message-ID: <4EB01265.7090108@dfki.de> Am 01.11.2011 16:20, schrieb Christoph LANGE: > Hi Christian, > > 2011-11-01 15:50 Christian Maeder: >> What do you mean by "make depend"? I get: >> >> make: *** Keine Regel, um ?depend? zu erstellen. Schluss. > > When some dependencies are not installed (in my case: programatica), the > output is different: > > $ make depend > ghc-pkg: cannot find package programatica > make: *** No rule to make target `depend'. Stop. "make" only checks for special cabal packages (usually without installing them). "cabal install" would install all needed cabal packages listed in Hets.cabal. But "cabal install" cannot create our derived sources that need to be created via "make". > Not sure why "make depend" does something but still claims that there is > no such target ;-) But INSTALL says that one should run "make depend". This INSTALL file only applies to source distributions created by "make release" (not to the svn sources)! A source release already contains generated source files. HTH Christian >> The needed cabal packages are listed in >> https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/Hets.cabal >> and >> https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/utils/installHetsPkgs.sh >> is a script to install the needed cabal packages. > > OK, thanks! Next time it will be easier for me. My situation was a bit > more complex as I had first tried to install as many packages as > possible via my distribution's package manager, instead of cabal. > > Cheers, > > Christoph >