summaryrefslogtreecommitdiff
path: root/src/inst/webid-oidc
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-19 15:44:36 +0200
commitb231e2f9ceea993419e1eeed3a415130f7ce1ed6 (patch)
treefdbce4e84daeca97ec9036426570e7f08bf7fd71 /src/inst/webid-oidc
parent33504cea60b1f8b2dd87a7bff7c8db493d66de5d (diff)
Run the identity provider as a script
Diffstat (limited to 'src/inst/webid-oidc')
-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 $@