wok-current diff erlang/receipt @ rev 5673

Add strigi (desktop search engine)
author Christophe Lincoln <pankso@slitaz.org>
date Sun May 30 19:12:39 2010 +0200 (2010-05-30)
parents 6e90579538d6
children 00d7ce375104
line diff
     1.1 --- a/erlang/receipt	Sun Feb 28 14:11:33 2010 +0100
     1.2 +++ b/erlang/receipt	Sun May 30 19:12:39 2010 +0200
     1.3 @@ -19,9 +19,14 @@
     1.4  	/home/slitaz/wok/erlang/otp_src-R12B-5
     1.5  	mv ${SOURCE}_$VERSION $src
     1.6  	cd $src
     1.7 -	if [ -f $patch ]; then	
     1.8 +	[ -f $SOURCES_REPOSITORY/$patch ] && cp $SOURCES_REPOSITORY/$patch .
     1.9 +	if [ ! -f $patch ]; then
    1.10  		wget http://www.erlang.org/download/patches/$patch
    1.11 +		cp $patch $SOURCES_REPOSITORY
    1.12 +	fi
    1.13 +	if [ ! -f done.$patch ]; then
    1.14  		patch -p1 < $patch
    1.15 +		touch done.$patch
    1.16  	fi
    1.17  	export LANG=C
    1.18  	sed -i 's|./Install|sh -x Install|' Makefile*