Run the identity provider as a script

1 files changed, 4 insertions, 0 deletions

diff --git a/bootstrap b/bootstrap
index 4c37c0f..878bc5c 100755
--- a/bootstrap
+++ b/bootstrap
@@ -7,7 +7,11 @@ sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1
 mkdir -p .native || exit 1
 cd .native || exit 1
 bash ../configure SHELL=$(which sh) || exit 1
+cp ../src/webid-oidc-issuer ../src/webid-oidc-issuer.bak || exit 1
+sed -i "s|/usr/local/bin/guile|$(which guile)|g" ../src/webid-oidc-issuer || exit 1
 make -j V=1 || exit 1
 make -j dist || exit 1
+chmod u+w ../src/webid-oidc-issuer || exit 1
+cp ../src/webid-oidc-issuer.bak ../src/webid-oidc-issuer || exit 1
 cd .. || exit 1
 rm -rf .native || exit 1