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 15:44:36 +0200 |
commit | b231e2f9ceea993419e1eeed3a415130f7ce1ed6 (patch) | |
tree | fdbce4e84daeca97ec9036426570e7f08bf7fd71 /bootstrap | |
parent | 33504cea60b1f8b2dd87a7bff7c8db493d66de5d (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 |