January 2009 - PPL-devel - BUGSENG Mailman

PPL uses m4 option --prefix-builtins - Not available on non GNU systems
by Tobias Grosser 27 Jan '09

27 Jan '09

Hi, I just compiled ppl on my FreeBSD system. And it works almost flawless. Just a little problem during installation. You use a GNU specific m4 option not available on non GNU systems like *BSD or Solaris. The command is: m4 --prefix-builtin -I.. -I$(srcdir) -I$(srcdir)/.. \ and is used e.g. in interfaces/C/Makefile. My fast hack to solve the problem is to install gnu m4 and patch the Makefiles to call gm4 instead of m4. But it would be nice to be able to install ppl without to be forced to install another m4 and to patch the Makefiles. There seems to be solutions to get the prefixes without using gnu specific stuff: http://puszcza.gnu.org.ua/software/mailfromd/manual/html_node/Preprocessor.… If this is not possible, it would be nice to get at least a better error message and some documentation, that you need gnu m4 to install ppl. Thanks a lot Tobias

2 3

Re: [PPL-devel] Difficulty compiling PPL
by Roberto Bagnara 27 Jan '09

27 Jan '09

Kenneth MacKenzie wrote: > Roberto Bagnara writes: > > > > This is something that should not have happened. In the configuration > > script we try hard to support all the released versions of GLPK, but > > your observation seems to imply we are missing at least one. Can > > you please let us know which version of GLPK is installed on your > > system and send us the files ppl-config.h and config.log that > > have been created by the configure script? > > > > We seem to have GLPK version 4.20. The files that you asked for are > attached below. Hi Kenneth. The problem with GLPK is now fixed in the CVS HEAD version. > I also had some trouble compiling the Ocaml interface because it > wanted to install the output files in /usr/lib/ocaml, which I don't > have write access to on my system. I have not been able to reproduce this problem. I did configure PPL 0.10 with the command ./configure --prefix=/tmp/dst Then I did `make'. Then I did `make install' as an unprivileged user: this succeeded and installed everything under /tmp/dst . Perhaps I have misunderstood what you wrote? I mean: since you wrote that you don't have write access to /usr/lib/ocaml in your system, I guessed you configured with the --prefix option. Thus my hypothesis was that our makefiles were not "obeying" what the user specified as the --prefix argument. But my experiment did not show that. > However, I managed to fix this by > editing the appropriate makefile, and now everything seems to be > working well. Good. Thanks again for the reports, Roberto P.S. Please, direct all PPL-related messages to ppl-devel(a)cs.unipr.it. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 3

ppl/src Interval.templates.hh
by Enea Zaffanella 27 Jan '09

27 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-27 14:54:32 Modified files: src : Interval.templates.hh Log message: Drafted a partial implementation for simplify_using_context_assign(); it assumes that the interval is toplogically closed and with no restrictions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.templates.hh.dif…

1 0

ppl TODO
by Roberto Bagnara 27 Jan '09

27 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-01-27 12:46:22 Modified files: . : TODO Log message: Added one urgent item. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.29…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 27 Jan '09

27 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-27 10:04:26 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added Frehse08. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 22:52:30 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added AlbertAGPZ08. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 22:19:53 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added DenmatGD07. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 22:04:24 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added KimGR07. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 21:36:47 Modified files: htdocs/Documentation: ppl_citations.bib Log message: GulwaniL-AS09 updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 21:33:28 Modified files: htdocs/Documentation: ppl_citations.bib Log message: AlurKRS08 updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0