#!/bin/sh autoreconf -vif || exit 1 sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1 ## Prepare the man pages SCRIPTS_THAT_GET_EXECUTED="../src/webid-oidc-issuer ../src/webid-oidc-reverse-proxy ../src/webid-oidc-client-service ../src/webid-oidc-example-app" mkdir -p .native || exit 1 cd .native || exit 1 bash ../configure SHELL=$(which sh) || exit 1 for file in $SCRIPTS_THAT_GET_EXECUTED do cp $file ${file}.bak sed -i "s|/usr/local/bin/guile|$(which guile)|g" $file || exit 1 done make -j V=1 || exit 1 make -j dist || exit 1 for file in $SCRIPTS_THAT_GET_EXECUTED do chmod u+w $file || exit 1 cp ${file}.bak $file || exit 1 done cd .. || exit 1 rm -rf .native || exit 1