git.iko.soy/Idris-dev
on master help sign in
#3170: Use gmake if compiling on OpenBSD.
0917cf8Eduard Nicodei
Setup.hs+1−1
compare with master
unifiedsplit
@@ -38,7 +38,7 @@ idrisCmd local = ".." </> ".." </> buildDir local </> "idris" </> "idris"
38-- Make Commands
38-- Make Commands
39
39
40-- use GNU make on FreeBSD
40-- 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)
42mymake = "gmake"
42mymake = "gmake"
43#else
43#else
44mymake = "make"
44mymake = "make"