diff --git a/app/src/ser/Makefile b/app/src/ser/Makefile deleted file mode 100644 index f83ff80..0000000 --- a/app/src/ser/Makefile +++ /dev/null @@ -1,9 +0,0 @@ - -ser: - -copy: -ifdef UTT_BIN_DIR - cp ser ${UTT_BIN_DIR} -endif - -clean: diff --git a/auto/output/Makefile b/auto/output/Makefile index 6243212..cf29168 100755 --- a/auto/output/Makefile +++ b/auto/output/Makefile @@ -45,7 +45,7 @@ ALL_FFLAGS = -t \$(FFLAGS) VPATH = ./src -PROGRAMS = tok sen fla gph kot unfla grp mar +PROGRAMS = tok sen fla gph kot unfla grp mar ser TOK_OBJ_FILES = tok.o tok_cmdline.o TOK_FLEX_FILES = tok.l @@ -83,6 +83,9 @@ grp: \$(GRP_PERL_FILES) MAR_PERL_FILES = mar.pl mar: \$(MAR_PERL_FILES) +SER_PERL_FILES = ser.pl +ser: \$(SER_PERL_FILES) + CONFIG_FILES = src/config.h Makefile .SUFFIXES: diff --git a/app/src/ser/ser b/src/ser.pl old mode 100755 new mode 100644 similarity index 100% rename from app/src/ser/ser rename to src/ser.pl