Add DragonFly to config.mk
commit7da9a4e34c911ad1b0a0b1165579aa6daa15a028
authorMarkus Pfeiffer <markus.pfeiffer@morphism.de>
dateSun 5 Jan 2014, 16:41 (13 years ago)
parent7e2c212
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−#ifdef freebsd_HOST_OS
41+#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS)
4242mymake = "gmake"
4343#else
4444mymake = "make"