[PPL-devel] [lucas at lucas-nussbaum.net: Bug#552959: ppl: FTBFS: build blocks]

[Roberto Bagnara]

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 [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

Hi Michael,

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,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it