October 2005 - PPL-devel - BUGSENG Mailman

ppl ./configure.ac interfaces/Prolog/SICStus/M ...
by Roberto Bagnara 22 Oct '05

22 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-22 15:54:41 Modified files: . : configure.ac interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am m4 : ac_check_sicstus_prolog.m4 ac_check_swi_prolog.m4 Added files: m4 : ac_check_xsb_prolog.m4 Log message: Treat SICStus, SWI and XSB Prolog in a uniform way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_xsb_prolog.m4?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_sicstus_prolog.m4… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.dif…

1 0

ppl NEWS
by Roberto Bagnara 22 Oct '05

22 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-22 15:46:13 Modified files: . : NEWS Log message: Added blank lines to help readability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16…

1 0

RE: [sicstus-users] Locating sicstus.h
by Wilson, Walter 22 Oct '05

22 Oct '05

"which sicstus" will tell you where it is on linux if it is in your path. >From the manual: In addition the following environment variables are set automatically on startup. SP_APP_DIR The absolute path to the directory that contains the executable. Also available as the application file search path. SP_RT_DIR The full path to the directory that contains the SICStus run-time. If the application has linked statically to the SICStus run-time then SP_RT_DIR is the same as SP_APP_DIR. Also available as the runtime file search path. SP_LIBRARY_DIR The absolute path to the directory that contains the SICStus library files. Also available as the initial value of the library file search path Walter -----Original Message----- From: owner-sicstus-users(a)sics.se [mailto:owner-sicstus-users@sics.se] On Behalf Of Roberto Bagnara Sent: Friday, October 21, 2005 4:10 AM To: sicstus-users(a)sics.se Cc: The Parma Polyhedra Library developers' list Subject: [sicstus-users] Locating sicstus.h Most people installing SICStus onto some non-standard place, will set their PATH environment variable so that the command `sicstus' does the right thing. Exploiting this fact, I would like to know where is sicstus.h located. In other words, I need something like what is offered by SWI-Prolog as follows: $ pl -dump-runtime-variables CC="gcc"; PLBASE="/usr/local/lib/pl-5.4.7"; PLARCH="i686-linux"; PLLIBS="-ldl -lreadline -lncurses -lm -lrt "; PLLIB="-lpl"; PLLDFLAGS="-export-dynamic -O3 -pthread"; PLSOEXT="so"; PLVERSION="50407"; PLSHARED="yes"; PLTHREADS="yes"; Here, PLBASE tells me the installation path, and from there I can retrieve everything. Notice that I rely on the fact that PATH has been set so that `pl' works. What is the simplest way to achieve this effect for SICStus? Many thanks, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it The information in this electronic mail message is sender's business Confidential and may be legally privileged. It is intended solely for the addressee(s). Access to this Internet electronic mail message by anyone else is unauthorized. If you are not the intended recipient, any disclosure, copying, distribution or any action taken or omitted to be taken in reliance on it is prohibited and may be unlawful. The sender believes that this E-mail and any attachments were free of any virus, worm, Trojan horse, and/or malicious code when sent. This message and its attachments could have been infected during transmission. By reading the message and opening any attachments, the recipient accepts full responsibility for taking protective and remedial action about viruses and other defects. Cendant is not liable for any loss or damage arising in any way from this message or its attachments.

3 3

ppl/m4 ac_check_sicstus_prolog.m4
by Roberto Bagnara 22 Oct '05

22 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-22 08:07:09 Modified files: m4 : ac_check_sicstus_prolog.m4 Log message: Make sure things work even if `sicstus' is a symbolic link. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_sicstus_prolog.m4…

1 0

ppl/tests/Grid Makefile.am coveringbox1.cc
by Matthew Mundell 21 Oct '05

21 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-21 21:27:30 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : coveringbox1.cc Log message: Add coveringbox1, which tests get_covering_box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_Certificate.cc
by Matthew Mundell 21 Oct '05

21 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-21 21:25:30 Modified files: src : Grid_Certificate.cc Log message: Finalise calculation of number of congruences from number of generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc.diff?…

1 0

ppl/src Grid.inlines.hh Grid.defs.hh
by Matthew Mundell 21 Oct '05

21 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-21 21:25:06 Modified files: src : Grid.inlines.hh Grid.defs.hh Log message: Add template get_covering_box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

Silently passing wrong input for good one
by Roberto Bagnara 21 Oct '05

21 Oct '05

Hi there, the program below, when compiled with GCC 4.0.2 and given the input "-3e-abcd", prints input = `-3e-abcd' good f = -3 left = `abcd' which means that: - if you give "-3e-abcd" to a `cin >> f', the double -3.0 is read; - the characters "-3e-" are eaten; - the status of `cin' is set to "good". I was unable to understand whether this behavior is conforming or even mandated by the standard. To me it does not look good, for the reason that "-3e-", the string eaten, would not seem to be a valid floating point numeral. Nonetheless, the status is set to good. For comparison, wit Comeau C++ I get $ como z.cc Comeau C/C++ 4.3.3 (Oct 24 2003 16:00:23) for RedHat_LINUX_INTEL_ELF Copyright 1988-2003 Comeau Computing. All rights reserved. MODE:non-strict warnings C++ $ a.out -3e-abcd input = `-3e-abcd' fail left = `abcd' At least here the programmer has a way to know that the input was wrong, something that, with the behavior of libstdc++, would seem impossible (since an extra "e-" has been silently and undetectably eaten). So the question is: are both behaviors conforming to the standard? It not, who is wrong? If yes, isn't the behavior of Comeau's library more robust and useful? All the best, Roberto #include <string> #include <iostream> #include <sstream> using namespace std; int main() { char input[200]; cin.getline(input, sizeof(input)); cout << "input = `" << input << "'" << endl; stringstream in(input); double f = -123.456; in >> f; string s = "initialized"; if (in.eof()) cout << "eof" << endl; if (in.fail()) cout << "fail" << endl; if (in.good()) cout << "good" << endl; if (in.bad()) cout << "bad" << endl; char left[200]; if (in) { cout << "f = " << f << endl; in.getline(left, sizeof(left)); cout << "left = `" << left << "'" << endl; } else { in.clear(); in.getline(left, sizeof(left)); cout << "left = `" << left << "'" << endl; } } -- 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 1

ppl ./configure.ac interfaces/Prolog/SICStus/M ...
by Roberto Bagnara 21 Oct '05

21 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-21 17:46:42 Modified files: . : configure.ac interfaces/Prolog/SICStus: Makefile.am Added files: m4 : ac_check_sicstus_prolog.m4 Log message: New machinery to automatically detect the location where SICStus Prolog was installed. Now, the only requirement imposed on the user is to have `sicstus' reachable from the shell's PATH. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_sicstus_prolog.m4…

1 0

ppl configure.ac
by Roberto Bagnara 21 Oct '05

21 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-21 16:47:29 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0