diff --git a/Makefile b/Makefile index c085490..2aa393c 100644 --- a/Makefile +++ b/Makefile @@ -1,11 +1,11 @@ # 2012 (C) Jussi Rintanen, jrintanen.jr@gmail.com # Uncomment for Madagascar with the planning heuristic as default (Mp) -#VERSION = -DMPDOWNLOAD -#EXECUTABLE=Mp +VERSION = -DMPDOWNLOAD +EXECUTABLE=Mp # Uncomment for Madagascar C with the planning heuristic as default (MpC) -VERSION = -DCMPDOWNLOAD -EXECUTABLE=MpC +#VERSION = -DCMPDOWNLOAD +#EXECUTABLE=MpC # Uncomment for Madagascar with VSIDS as default (M) #VERSION = -DVSIDS #EXECUTABLE=M