head	1.1;
access;
symbols;
locks; strict;
comment	@# @;


1.1
date	2026.06.29.00.53.14;	author dholland;	state Exp;
branches;
next	;
commitid	NS1bL9EkeOsv4DLG;


desc
@@


1.1
log
@Add devel/herdtools7, a tool for reasoning about weak memory modules.
@
text
@$NetBSD$

Configure for pkgsrc.

--- Makefile.orig	2025-02-12 16:18:12.000000000 +0000
+++ Makefile
@@@@ -1,15 +1,10 @@@@
 .PHONY: check-deps
 
 OS := $(shell uname)
-PREFIX=$$HOME
 D=dune
 
 #Limit parallelism of some expensive operations
-ifeq ($(OS),Darwin)
-	J=$(shell sysctl -n hw.logicalcpu)
-else
-	J=$(shell nproc)
-endif
+J=$(MAKE_JOBS)
 
 
 REGRESSION_TEST_MODE = test
@@@@ -42,10 +37,10 @@@@ $(BENTO): Version.ml | check-deps
 	dune build -j $(J) --profile $(DUNE_PROFILE) $@@
 
 install:
-	sh ./dune-install.sh $(PREFIX)
+	sh ./dune-install.sh $(DESTDIR)$(PREFIX)
 
 uninstall:
-	sh ./dune-uninstall.sh $(PREFIX)
+	sh ./dune-uninstall.sh $(DESTDIR)$(PREFIX)
 
 clean: dune-clean clean-asl-pseudocode clean-asldoc
 	rm -f Version.ml
@