Description: Debian fix for PREFIX
 For some bizarre reason, /usr/local is not replaced by /usr. We just enforce
 this for Debian to fi xthe build.
Author: Sebastian Humenda <shumenda@gmx.de>
Last-Update: 2024-03-20


Index: quickjs/Makefile
===================================================================
--- quickjs.orig/Makefile
+++ quickjs/Makefile
@@ -37,7 +37,7 @@ endif
 #CONFIG_COSMO=y
 
 # installation directory
-PREFIX?=/usr/local
+PREFIX ?= /usr
 
 # use the gprof profiler
 #CONFIG_PROFILE=y
