CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2008-11-02 11:57:25 Modified files: interfaces/Prolog/GNU: Makefile.am README.gprolog Log message: Whenever possible, statically link `ppl_gprolog' with `libppl_gprolog'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.g...