July 2005 - PPL-devel - BUGSENG Mailman

ppl ./compile ./config.guess ./config.sub ./de ...
by Roberto Bagnara 11 Jul '05

11 Jul '05

1 0

ppl/tests/Grid Makefile.am equals1.cc
by Matthew Mundell 08 Jul '05

08 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-08 20:02:15 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : equals1.cc Log message: Add equals, which tests operator== and operator!=. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/equals1.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid mapspacedims1.cc
by Matthew Mundell 08 Jul '05

08 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-08 19:58:45 Modified files: tests/Grid : mapspacedims1.cc Log message: Correct test7 expected result. Print test name from all tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mapspacedims1.cc.d…

1 0

ppl/tests/Grid congruencesystem2.cc
by Matthew Mundell 08 Jul '05

08 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-08 19:57:18 Modified files: tests/Grid : congruencesystem2.cc Log message: Add another line test, and some temporary comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem2.…

1 0

ppl/tests/Grid addgenerator1.cc
by Matthew Mundell 08 Jul '05

08 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-08 19:56:11 Modified files: tests/Grid : addgenerator1.cc Log message: Correct test3 expected result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.d…

1 0

ppl/src Congruence_System.cc
by Matthew Mundell 08 Jul '05

08 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-08 19:55:29 Modified files: src : Congruence_System.cc Log message: In satisfies_all_congruences compare the entire scalar product to zero when the generator is a line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/tests/Grid join1.cc
by Matthew Mundell 07 Jul '05

07 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-07 16:41:15 Modified files: tests/Grid : join1.cc Log message: Add test5, which requires divisor normalisation. Call join_assign instead of join_assign_and_minimize in test4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsr…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 07 Jul '05

07 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-07 16:39:56 Modified files: src : Grid_public.cc Log message: Match the divisors of the two generator systems in join_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

conftest.cc disappearing in a misterious way
by Roberto Bagnara 07 Jul '05

07 Jul '05

Hi there, a user has troubles configuring a (autoconfiscated) library we have written. He is on a (fully up-to-date and not hacked in any way) Cygwin system and uses a configure script generated by Autoconf 2.59. Below is, I believe, the relevant section of config.log. To summarize: 1) tests are made for signal.h usability and presence: these are both successful; 2) immediately after, a test for sys/time.h presence failes because "g++: conftest.cc: No such file or directory". This is strange, because conftest.cc should have been created by the configure script. 3) The test for sys/time.h usability succeeds! 4) Both tests for sys/resource.h presence and usability fail for the same reason: "g++: conftest.cc: No such file or directory". configure:29564: checking signal.h usability configure:29576: g++ -c -g -O2 conftest.cc >&5 configure:29582: $? = 0 configure:29586: test -z || test ! -s conftest.err configure:29589: $? = 0 configure:29592: test -s conftest.o configure:29595: $? = 0 configure:29605: result: yes configure:29609: checking signal.h presence configure:29619: g++ -E conftest.cc configure:29625: $? = 0 configure:29645: result: yes configure:29680: checking for signal.h configure:29687: result: yes configure:29564: checking sys/time.h usability configure:29576: g++ -c -g -O2 conftest.cc >&5 configure:29582: $? = 0 configure:29586: test -z || test ! -s conftest.err configure:29589: $? = 0 configure:29592: test -s conftest.o configure:29595: $? = 0 configure:29605: result: yes configure:29609: checking sys/time.h presence configure:29619: g++ -E conftest.cc g++: conftest.cc: No such file or directory g++: no input files configure:29625: $? = 1 configure: failed program was: configure:29645: result: no configure:29651: WARNING: sys/time.h: accepted by the compiler, rejected by the preprocessor! configure:29653: WARNING: sys/time.h: proceeding with the compiler's result configure:29680: checking for sys/time.h configure:29687: result: yes configure:29564: checking sys/resource.h usability configure:29576: g++ -c -g -O2 conftest.cc >&5 g++: conftest.cc: No such file or directory g++: no input files configure:29582: $? = 1 configure: failed program was: configure:29605: result: no configure:29609: checking sys/resource.h presence configure:29619: g++ -E conftest.cc g++: conftest.cc: No such file or directory g++: no input files configure:29625: $? = 1 configure: failed program was: configure:29645: result: no configure:29680: checking for sys/resource.h configure:29687: result: no configure:29555: checking for sys/time.h configure:29560: result: yes configure:29555: checking for sys/types.h configure:29560: result: yes configure:29555: checking for unistd.h configure:29560: result: yes I have googled for around one hour and I have seen that many people had this problem in the past (just replace "conftest.cc" with "conftest.c" in the search), but noone seems to have found the cause. Not having access to the user's machine I don't know how to proceed, since I cannot reproduce the problem on my machines. A careful inspection of the entire config.log output did not reveal anything to me. Any idea what may be wrong? 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

3 9

ppl tests/Grid/removespacedims1.cc tests/Grid/ ...
by Matthew Mundell 06 Jul '05

06 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-06 20:21:08 Modified files: tests/Grid : removespacedims1.cc grid2.cc grid1.cc congruencesystem2.cc src : Grid_public.cc Grid_nonpublic.cc Congruence_System.defs.hh Congruence_System.cc Log message: Normalize divisors after converting from rays to lines. Use the system-wide divisor to calculate the factor used when normalizing parameters. In satisfies_all_congruences multiply the modulus by the divisor to account for the divisor when comparing parameters. Correct Chiara function names in grid1.cc comments. Correct the expected results in grid1.cc test13 and test14, grid2.cc test2 and test10 and removespacedims1.cc test1. Insert test16 (from the chiara water monitor example) into grid1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem2.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0