November 2008 - PPL-devel - BUGSENG Mailman

ppl/Watchdog configure.ac
by Roberto Bagnara 30 Nov '08

30 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-30 21:13:26 Modified files: Watchdog : configure.ac Log message: Postpone the AC_LIB_RPATH test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

w3ppl/htdocs/Download Download.raw
by Enea Zaffanella 30 Nov '08

30 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-30 19:15:13 Modified files: htdocs/Download: Download.raw Log message: Added links for the different versions of openSUSE. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs/Download Download.raw
by Enea Zaffanella 30 Nov '08

30 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-30 17:32:32 Modified files: htdocs/Download: Download.raw Log message: Mionor reorganization to the table of binary distributions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 30 Nov '08

30 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-30 09:54:46 Modified files: htdocs/Download: Download.raw Log message: Added a link to the Ubuntu Jaunty packages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 30 Nov '08

30 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-30 09:22:57 Modified files: htdocs/Download: Download.raw Log message: Added a link to openSUSE source and binary distributions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 30 Nov '08

30 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-30 09:00:35 Modified files: htdocs/Download: Download.raw Log message: Updated the link to the ArchLinux package. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

fixup doc behavior
by Mike Frysinger 30 Nov '08

30 Nov '08

the configure.ac has this line: # Installation directories. AC_SUBST([docdir], ['${datadir}/doc/ppl']) this is pointless as autoconf itself already sets up docdir and exports it with this default value. plus, this setting breaks customization with the configure --docdir option. the fix is easy: just delete those two lines from configure.ac -mike

2 1

ppl configure.ac
by Roberto Bagnara 30 Nov '08

30 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-30 08:48:39 Modified files: . : configure.ac Log message: Removed "AC_SUBST([docdir], ['${datadir}/doc/ppl'])": given that we require Autoconf 2.60 or later version, this was redundant. Moreover, it did not allow to use the `--docdir' configure option. (Thanks to Mike Frysinger.) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src MIP_Problem.cc
by Enea Zaffanella 27 Nov '08

27 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-27 18:02:17 Modified files: src : MIP_Problem.cc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src Polyhedron_nonpublic.cc
by Enea Zaffanella 26 Nov '08

26 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-26 18:19:12 Modified files: src : Polyhedron_nonpublic.cc Log message: Wrong comment deleted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0