diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-12-05 13:11:49 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-19 13:06:24 +0200 |
commit | 2437c7026e1a96f9c4834d99f0c53e1dbf80e5a0 (patch) | |
tree | 07adae1fbc6abb60559310dac7806936bebd38ca /bootstrap | |
parent | c66be829b40e6ee973ab6bbba6144fa913bfa211 (diff) |
Run the identity provider as a script
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |