diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-03-30 20:25:01 +0200 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-19 15:44:36 +0200 |
commit | 1c2c188dc3544bd4df571ce06d24784640db43d5 (patch) | |
tree | 61fdc8538c03468ff0bf1a3682cc84faf83686e4 /bootstrap | |
parent | 1cd51a1728a34aaf85b964bff7636733ef732999 (diff) |
Implement a reverse proxy
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 20 |
1 files changed, 16 insertions, 4 deletions
@@ -4,14 +4,26 @@ 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" + 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 + +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 -chmod u+w ../src/webid-oidc-issuer || exit 1 -cp ../src/webid-oidc-issuer.bak ../src/webid-oidc-issuer || 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 |