CODEGEN = -C
# change according to your system
-DOLPATH = $(HOME)/dol/bin
+DOLPATH = $(HOME)/jump/dol/jars
SYSTEMC_INC = $(HOME)/systemc/include
SYSTEMC_LIB = $(HOME)/systemc/lib-linux64/libsystemc.a
JAVA ?= java
JAVAC ?= javac
DOTTY ?= dotty
-ECHO ?= echo
+ECHO ?= /bin/echo -e
SED ?= sed
CP ?= cp
RM ?= rm