[MLton-commit] r4613

Matthew Fluet MLton@mlton.org
Sat, 27 May 2006 07:54:14 -0700


GMP header installed in /usr/pkg/include on NetBSD 3.0.


----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/Makefile

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile	2006-05-27 12:54:15 UTC (rev 4612)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile	2006-05-27 14:54:14 UTC (rev 4613)
@@ -69,6 +69,10 @@
 FLAGS += -I/usr/local/include
 endif
 
+ifeq ($(TARGET_OS), netbsd)
+FLAGS += -I/usr/pkg/include
+endif
+
 ifeq ($(TARGET_OS), openbsd)
 FLAGS += -I/usr/local/include
 endif