From ffe5ae891447519e4fdf0b11e2de4493b58fc0fb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 25 Jan 2018 16:56:43 +0100 Subject: [PATCH] Make Mp the default planner --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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