Initial commit.

1 files changed, 20 insertions, 0 deletions

diff --git a/ctftilde/gen-pre-inst-config-scm b/ctftilde/gen-pre-inst-config-scm
new file mode 100755
index 0000000..85b3220
--- /dev/null
+++ b/ctftilde/gen-pre-inst-config-scm
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+builddir="$(cd "$(dirname "$0")" && pwd -P)"
+cd "$builddir"
+
+eval "$(awk '/^srcdir=/ {print $0; exit(0);}' "$builddir"/config.status)"
+srcdir="$(cd "$srcdir" && pwd -P)"
+
+printf '%s' '
+(define-module ('"$1"' pre-inst-config)
+  #:export (config))
+
+(define datarootpath
+  (map (lambda (base)
+         (string-append base "/src/resources"))
+       `("'"$builddir"'" "'"$srcdir"'")))
+
+(define config
+  `((datarootpath . ,datarootpath)))
+'