summaryrefslogtreecommitdiff
path: root/src/inst
diff options
context:
space:
mode:
authorVivien Kraus <vivien@planete-kraus.eu>2020-12-05 13:11:49 +0100
committerVivien Kraus <vivien@planete-kraus.eu>2021-06-18 16:52:27 +0200
commit56f64a336b5dff86280a94b33e698ce74bd39450 (patch)
tree9c18d04340c28e91fccba398615704acd8c4f546 /src/inst
parentf68715a7b63c4b5ba1aa37aa89b492a9ac1764d2 (diff)
Run the identity provider as a script
Diffstat (limited to 'src/inst')
-rw-r--r--src/inst/webid-oidc/Makefile.am12
1 files changed, 9 insertions, 3 deletions
diff --git a/src/inst/webid-oidc/Makefile.am b/src/inst/webid-oidc/Makefile.am
index ac2778b..c6edc5c 100644
--- a/src/inst/webid-oidc/Makefile.am
+++ b/src/inst/webid-oidc/Makefile.am
@@ -2,6 +2,12 @@ webidoidcmod_DATA += %reldir%/config.scm
webidoidcgo_DATA += %reldir%/config.go
%reldir%/config.scm: $(top_builddir)/config.status
- $(AM_V_GEN) mkdir -p %reldir% && (echo "(define-module (webid-oidc config))" ; \
- echo "(define-public libdir \"$(libdir)\")") \
- > $@-t && mv $@-t $@
+ $(AM_V_GEN) mkdir -p %reldir% \
+ && (echo "(define-module (webid-oidc config))" ; \
+ echo "(define-public libdir \"$(libdir)\")" ; \
+ echo "(define-public localedir \"$(localedir)\")" ; \
+ echo "(define-public version \"$(VERSION)\")" ; \
+ echo "(define-public package \"$(PACKAGE)\")" ; \
+ echo "(define-public package-bugreport \"$(PACKAGE_BUGREPORT)\")") \
+ > $@-t \
+ && mv $@-t $@