January 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron powerset1.cc
by Matthew Mundell 17 Jan '06

17 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-17 01:13:15 Modified files: tests/Polyhedron: powerset1.cc Log message: Involve every method of Fcaibvp in the test. Make std::set a private parent of Fcaibvp. Add operator==(Fcaibvp&, Fcaibvp&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc…

1 0

Is Cygwin special?
by Roberto Bagnara 16 Jan '06

16 Jan '06

I have something that runs under GNU/Linux and does not run under Cygwin. It all boils down to something very simple. I have two files: $ cat main.cc #include <SWI-Prolog.h> int main(int, char** argv) { char* pl_args[2]; pl_args[0] = argv[0]; pl_args[1] = 0; if (!PL_initialise(1, pl_args)) PL_halt(1); predicate_t pred = PL_predicate("mymain", 0, "user"); term_t h0 = PL_new_term_refs(0); int ret_val = PL_call_predicate(0, PL_Q_NORMAL, pred, h0); PL_halt(ret_val ? 0 : 1); } $ cat mymain.pl mymain :- write('mymain/0 called!'), nl. I compile them under GNU/Linux: $ g++ -I/usr/local/lib/pl-5.6.2/include -c main.cc $ plld -v -cc gcc -c++ g++ -ld g++ -o test.exe main.o mymain.pl eval `pl -dump-runtime-variables` CC="gcc" PLBASE="/usr/local/lib/pl-5.6.2" PLARCH="i686-linux" PLLIBS="-lgmp -ldl -lreadline -lncursesw -lm -lrt" PLLIB="-lpl" PLLDFLAGS="-export-dynamic -O3 -pthread" PLSOEXT="so" PLTHREADS="yes" g++ -o test.exe -export-dynamic -O3 -pthread main.o -L/usr/local/lib/pl-5.6.2/lib/i686-linux -lpl -lgmp -ldl -lreadline -lncursesw -lm -lrt pl -f none -F none -g true -t "consult(['mymain.pl']),qsave_program('pltmp-8678',[goal='\$welcome',toplevel=prolog,init_file=none])" % mymain.pl compiled 0.00 sec, 2,004 bytes % halt cat pltmp-8678 >> test.exe chmod 775 test.exe rm pltmp-8678 I compile them in exactly the same way under Cygwin (note: same version of SWI-Prolog, configured in the same way and installed in the same place): $ g++ -I/usr/local/lib/pl-5.6.2/include -c main.cc $ plld -v -cc gcc -c++ g++ -ld g++ -o test.exe main.o mymain.pl eval `pl -dump-runtime-variables` % mymain.pl compiled 0.00 sec, 1,984 bytes % halt CC="gcc" PLBASE="/usr/local/lib/pl-5.6.2" PLARCH="i686-cygwin" PLLIBS="-lgmp -lreadline -lncurses -lm -lpthread" PLLIB="-lpl" PLLDFLAGS="-export-dynamic -O3" PLSOEXT="dll" PLTHREADS="yes" g++ -o test.exe -export-dynamic -O3 main.o -L/usr/local/lib/pl-5.6.2/lib/i686-cygwin -lpl -lgmp -lreadline -lncurses -lm -lpthread pl -f none -F none -g true -t "consult(['mymain.pl']),qsave_program('pltmp-3416.exe',[goal='\$welcome',toplevel=prolog,init_file=none])" cat pltmp-3416.exe >> test.exe chmod 755 test.exe rm pltmp-3416.exe However, when I run the result under GNU/Linux I get: $ ./test.exe Welcome to SWI-Prolog (Multi-threaded, Version 5.6.2) Copyright (c) 1990-2005 University of Amsterdam. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). mymain/0 called! $ When I run under Cygwin I get: $ ./test.exe Welcome to SWI-Prolog (Multi-threaded, Version 5.6.2) Copyright (c) 1990-2005 University of Amsterdam. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ERROR: Undefined procedure: mymain/0 What am I missing? All the best, 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

1 0

ppl ChangeLog
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 22:50:40 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

ppl/Watchdog ChangeLog
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 22:39:47 Modified files: Watchdog : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0

ppl NEWS
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 22:39:02 Modified files: . : NEWS Log message: Revised a couple of items. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.18…

1 0

ppl/src Congruence.defs.hh
by Matthew Mundell 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-16 22:25:37 Modified files: src : Congruence.defs.hh Log message: Comment the #endif of the ascii_load doc directive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl NEWS
by Patricia Hill 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-16 22:03:15 Modified files: . : NEWS Log message: Improved the paragraph on class BD_Shape<T>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.18…

1 0

ppl NEWS
by Roberto Bagnara 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-16 21:40:41 Modified files: . : NEWS Log message: Added some quotations marks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.18…

1 0

ppl NEWS
by Matthew Mundell 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-16 20:55:48 Modified files: . : NEWS Log message: Change "all what is needed" to "all that is needed" and "what is the relation" to "what the relation is". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.18…

1 0

ppl/src Congruence.defs.hh
by Matthew Mundell 16 Jan '06

16 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-16 20:50:55 Modified files: src : Congruence.defs.hh Log message: Mark the ascii_load doc an implementation detail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0