commit f83edc84a94f4f80c850995c9b3e9d1622de7df6
parent b5f5945af83a3276374673f9eb5ef2f45ac5834d
Author: Szymon Mikulicz <szymon.mikulicz@posteo.net>
Date: Wed, 18 Mar 2026 13:30:37 +0100
Headerpath is dead, long live headerpath
Diffstat:
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/bootstrap.sh b/bootstrap.sh
@@ -33,7 +33,7 @@ popd
popd
echo "[5/9] Building instowl"
-"$ROOTDIR/bin/jpm" --headerpath="$ROOTDIR/include" build
+"$ROOTDIR/bin/jpm" build
pushd "$SRCDIR/janet"
diff --git a/src/main.janet b/src/main.janet
@@ -199,6 +199,7 @@
(stropt "--manpath" (path/join prefix "share" "man" "man1"))
(stropt "--modpath" (path/join prefix "lib" "janet"))
(stropt "--libpath" (path/join prefix "lib"))
+ (stropt "--headerpath" (path/join prefix "include"))
"install")
:install/cargo