diff options
Diffstat (limited to 'Tools/Source/TianoTools/Pccts/dlg/makefile')
-rw-r--r-- | Tools/Source/TianoTools/Pccts/dlg/makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Tools/Source/TianoTools/Pccts/dlg/makefile b/Tools/Source/TianoTools/Pccts/dlg/makefile index 1658394130..d5cceb8be5 100644 --- a/Tools/Source/TianoTools/Pccts/dlg/makefile +++ b/Tools/Source/TianoTools/Pccts/dlg/makefile @@ -116,8 +116,8 @@ PCCTS_H=../h #
CC=cc
COPT=-O
-ANTLR=../bin/antlr
-DLG=../bin/dlg
+ANTLR=${BIN_DIR}/antlr
+DLG=${BIN_DIR}/dlg
CFLAGS= $(COPT) -I. -I$(SET) -I$(PCCTS_H) -DUSER_ZZSYN -DZZLEXBUFSIZE=65536
OBJ_EXT=o
OUT_OBJ = -o
@@ -125,7 +125,7 @@ OBJ = dlg_p.o dlg_a.o main.o err.o set.o support.o output.o \ relabel.o automata.o
dlg : $(OBJ) $(SRC)
- $(CC) $(CFLAGS) -o ${WORKSPACE}/Tools/bin/dlg $(OBJ)
+ $(CC) $(CFLAGS) -o ${BIN_DIR}/dlg $(OBJ)
SRC = dlg_p.c dlg_a.c main.c err.c $(SET)/set.c support.c output.c \
relabel.c automata.c
|