Michael Tautschnig wrote:
I was notified about some very strange build failure that I cannot reproduce myself, but apparently for Lucas it _is_ reproducible. Have you by chance already come across this problem, or have some idea what could be the problem, or maybe even have a fix already in git?
Hi Michael,
this week we are all busy, but next week we will look in to this. Can you give us all the information required to try to reproduce the problem (which version of Debian, which architecture, which version of SWI-Prolog, ...). Please forgive me if that information is already present somewhere in the attachment you sent... as I said, this week we are snowed under. All the best,
Sorry for responding this late; the versions should be as follows:
- Debian sid/unstable - Builds running on amd64 - SWI-Prolog version 5.6.64
Now I'm building ppl on such systems as well, so I'm really puzzled about this. The full build log is available at [1]. What seems noteworthy to me is:
- make is run with -j10, meaning highly parallel. - The first invocation of ppl_pl seems to block; now I didn't look into the corresponding makefiles yet, but could it be some simple dependency problem that only occurs upon parallel builds? The blocking part is the ppl_pl execution around here:
make[7]: Entering directory `/build/user-ppl_0.10.2-3-amd64-s4Cp4e/ppl-0.10.2/interfaces/Prolog/SWI' if [ . != `pwd` ]; then \ cp -f ./../tests/pl_check.pl . ; \ fi ;\ echo "ensure_loaded('./swi_pl_check'). main." > script_pchk /bin/bash ../../../libtool --mode=execute \ -dlopen ../../../src/libppl.la \ -dlopen ../../../Watchdog/src/libpwl.la \ -dlopen libppl_swiprolog.la \ ./ppl_pl < script_pchk
HTH, Michael
[1] http://people.debian.org/~lucas/logs/2009/10/28/ppl_0.10.2-3_lsid64.buildlog