--- config.mk	2023-12-22 21:44:30
+++ config.mk	2024-06-21 13:22:03
@@ -1,7 +1,7 @@
 ##### Options which a user might set before building go here #####
 
 # Where to install idris2 binaries and libraries (must be an absolute path)
-PREFIX ?= $(HOME)/.idris2
+PREFIX = @IDRIS_ROOT@
 
 # For Windows targets. Set to 1 to support Windows 7.
 OLD_WIN ?= 0
