From 8c8a2529e10decc5c52225e87ea7fb8ce9bf37bb Mon Sep 17 00:00:00 2001
From: Mateusz Hromada <ruanda@ruanda.pl>
Date: Tue, 9 Jun 2009 20:19:54 +0200
Subject: [PATCH] Migration to new build system.  * ser moved and checked

---
 app/src/ser/Makefile          | 9 ---------
 auto/output/Makefile          | 5 ++++-
 app/src/ser/ser => src/ser.pl | 0
 3 files changed, 4 insertions(+), 10 deletions(-)
 delete mode 100644 app/src/ser/Makefile
 rename app/src/ser/ser => src/ser.pl (100%)
 mode change 100755 => 100644

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