#3170: Use gmake if compiling on OpenBSD.
commit0917cf8864ea4a41ab9d94f9c3a9e9d2a72159c3
authorEduard Nicodei <eddnicodei@gmail.com>
dateSun 15 May 2016, 21:11 (10 years ago)
parent11c7d46
Setup.hs+1−1
@@ -38,7 +38,7 @@ idrisCmd local = ".." </> ".." </> buildDir local </> "idris" </> "idris"
3838-- Make Commands
3939
4040-- use GNU make on FreeBSD
41−#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS)
41+#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS) || defined(openbsd_HOST_OS)
4242mymake = "gmake"
4343#else
4444mymake = "make"