fix a memory leak
[charm.git] / examples / charm++ / state_space_searchengine / Makefile.common
1 CHARMC_PATH = ../../../../bin
2 CHARMC=$(CHARMC_PATH)/charmc $(OPTS)
3
4 #override OPTS += -g -O3 -DADAPTIVE 
5 #-DUSEBITPRIORITY -DONESOLUTION -DADAPTIVE