source: dotfiles/guix/rde/Makefile@ 60b943c4

Last change on this file since 60b943c4 was f73cc02, checked in by Mikhail Kirillov <mikhail.kirillov@…>, on Apr 20, 2023 at 12:33:01 AM

Rename config file in rde

  • Property mode set to 100644
File size: 643 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
26
27clean-target:
28 rm -rf ./target
29
30clean: clean-target
Note: See TracBrowser for help on using the repository browser.