@@ -38,7 +38,7 @@ idrisCmd local = ".." </> ".." </> buildDir local </> "idris" </> "idris"
38-- Make Commands
38-- Make Commands
40-- use GNU make on FreeBSD
40-- use GNU make on FreeBSD
41−#ifdef freebsd_HOST_OS
41+#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS)
42mymake = "gmake"
42mymake = "gmake"
44mymake = "make"
44mymake = "make"