source: dotfiles/guix/rde/Makefile@ 0d11196

Last change on this file since 0d11196 was 733c9a0, checked in by Mikhail Kirillov <mikhail.kirillov@…>, on Apr 25, 2023 at 10:45:44 PM

Add rollback home to makefile

  • Property mode set to 100644
File size: 693 bytes
Line 
1# profiles.mk provides guix version specified by rde/channels-lock.scm
2# To rebuild channels-lock.scm use `make -B rde/channels-lock.scm`
3include profiles.mk
4
5# Also defined in .envrc to make proper guix version available project-wide
6GUIX_PROFILE=target/profiles/guix
7GUIX=./pre-inst-env ${GUIX_PROFILE}/bin/guix
8
9SRC_DIR=./src
10CONFIGS=${SRC_DIR}/abcdw/configs.scm
11PULL_EXTRA_OPTIONS=
12# --allow-downgrades
13
14ROOT_MOUNT_POINT=/mnt
15
16VERSION=latest
17
18target:
19 mkdir -p target
20
21build-home: guix
22 ${GUIX} home build ./src/wkz-p1.scm
23
24install-home: guix
25 ${GUIX} home reconfigure ./src/wkz-p1.scm -v 5
26
27rollback-home: guix
28 ${GUIX} home roll-back
29
30clean-target:
31 rm -rf ./target
32
33clean: clean-target
Note: See TracBrowser for help on using the repository browser.