config: Use local guix by default.

minikN · May 14, 2024 · a8b5647 · a8b5647
1 parent ab958a2
commit a8b5647
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.envrc b/.envrc
@@ -1,2 +1,2 @@
-GUIX_PROFILE=target/profiles/guix
+GUIX_PROFILE=target/profiles/guix-local
 if [ -f $GUIX_PROFILE/etc/profile ]; then source $GUIX_PROFILE/etc/profile; fi
diff --git a/Makefile b/Makefile
@@ -3,7 +3,7 @@
 include profiles.mk
 
 # Also defined in .envrc to make proper guix version available project-wide
-GUIX_PROFILE=target/profiles/guix
+GUIX_PROFILE=target/profiles/guix-local
 GUIX=GUILE_LOAD_PATH="../rde/src:../rde/tests:." GUILE_LOAD_COMPILED_PATH="" ${GUIX_PROFILE}/bin/guix
 
 HOST=$(shell cat /etc/hostname)