[PPL-devel] [lucas at lucas-nussbaum.net: Bug#552959: ppl: FTBFS: build blocks]
bagnara at cs.unipr.it
Wed Nov 18 08:51:24 CET 2009
Michael Tautschnig wrote:
>> 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 . 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: 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
>  http://people.debian.org/~lucas/logs/2009/10/28/ppl_0.10.2-3_lsid64.buildlog
I am sorry about the delay, but I am snowed under other committments.
We routinely test the PPL with make -j (for j in the range [2, 8])
so I am pretty sure parallelism is not the cause. I have no access
now to the machine where I have a Debian VM: I will have to wait
for the weekend for that).
Israel, perhaps you can help us debugging this problem?
All the best,
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel