diff options
author | EuAndreh <eu@euandre.org> | 2021-01-25 17:52:55 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-01-25 17:52:55 -0300 |
commit | 27c41122121ed1c52cf948537ea07cc86e851d16 (patch) | |
tree | c2b0c78bc41c1fce82835ffb539b6a02afc1fad0 /build-aux | |
parent | Use "make public" as the primary way of building the site (diff) | |
download | euandre.org-27c41122121ed1c52cf948537ea07cc86e851d16.tar.gz euandre.org-27c41122121ed1c52cf948537ea07cc86e851d16.tar.xz |
Move Guix files under build-aux/guix/
Diffstat (limited to 'build-aux')
-rwxr-xr-x | build-aux/ci/ci-build.sh | 4 | ||||
-rw-r--r-- | build-aux/guix/manifest.scm | 15 | ||||
-rw-r--r-- | build-aux/guix/pinned-channels.scm | 11 | ||||
-rwxr-xr-x | build-aux/guix/with-container.sh (renamed from build-aux/with-container.sh) | 0 |
4 files changed, 28 insertions, 2 deletions
diff --git a/build-aux/ci/ci-build.sh b/build-aux/ci/ci-build.sh index b7a4c38..0b792df 100755 --- a/build-aux/ci/ci-build.sh +++ b/build-aux/ci/ci-build.sh @@ -35,8 +35,8 @@ EOF git config --global user.email git@euandre.org git config --global user.name 'EuAndreh CI' - if [ -f build-aux/with-container.sh ]; then - RUNNER='./build-aux/with-container.sh' + if [ -f build-aux/guix/with-container.sh ]; then + RUNNER='./build-aux/guix/with-container.sh' else RUNNER='sh -c' fi diff --git a/build-aux/guix/manifest.scm b/build-aux/guix/manifest.scm new file mode 100644 index 0000000..0c8a225 --- /dev/null +++ b/build-aux/guix/manifest.scm @@ -0,0 +1,15 @@ +(specifications->manifest + (map symbol->string + '(coreutils + findutils + diffutils + grep + sed + git + tar + gzip + gawk + make + perl + shellcheck + pandoc))) diff --git a/build-aux/guix/pinned-channels.scm b/build-aux/guix/pinned-channels.scm new file mode 100644 index 0000000..67b5a51 --- /dev/null +++ b/build-aux/guix/pinned-channels.scm @@ -0,0 +1,11 @@ +(list + (channel + (name 'guix) + (url "https://git.savannah.gnu.org/git/guix.git") + (commit + "d265809b782293eb42dd663b4611ca19dd2bf1b3") + (introduction + (make-channel-introduction + "9edb3f66fd807b096b48283debdcddccfea34bad" + (openpgp-fingerprint + "BBB0 2DDF 2CEA F6A8 0D1D E643 A2A0 6DF2 A33A 54FA"))))) diff --git a/build-aux/with-container.sh b/build-aux/guix/with-container.sh index 5544d8e..5544d8e 100755 --- a/build-aux/with-container.sh +++ b/build-aux/guix/with-container.sh |