[gecode-users] Problems with Makefile.contribs

[Javier Andrés Mena Zapata]

Hi,

I've been trying to compile the contribs using the default
Makefile.contribs, but it fails if the default shell (/bin/sh/) is not
Borne-again shell (bash).

I've change the conflict line:
sed -e "s|\(dnl
@CONTRIBS@\)|AC_GECODE_ENABLE_CONTRIB($${i/*\/},\"$$DESC\",[]) \1|g" \

with this:
sed -e "s|\(dnl
@CONTRIBS@\)|AC_GECODE_ENABLE_CONTRIB($${i#*\/},\"$$DESC\",[]) \1|g" \

I'm using Ubuntu 7.04.

-- 
Javier Andrés Mena Zapata
University of  Valle
Cali - Colombia