From b012e2a7b06b05fd4e62aa96b3082305dcd8e1ef Mon Sep 17 00:00:00 2001
From: obrebski <obrebski@e293616e-ec6a-49c2-aa92-f4a8b91c5d16>
Date: Thu, 15 May 2008 21:05:36 +0000
Subject: [PATCH] tre.rb zmienil nazwe na tre tre sygnalizuje nieuzycie
 wymaganej dla niego opcji --info s w dgp

git-svn-id: svn://atos.wmid.amu.edu.pl/utt@52 e293616e-ec6a-49c2-aa92-f4a8b91c5d16
---
 app/src/dgp/Makefile        | 2 +-
 app/src/dgp/{tre.rb => tre} | 5 +++++
 2 files changed, 6 insertions(+), 1 deletion(-)
 rename app/src/dgp/{tre.rb => tre} (94%)

diff --git a/app/src/dgp/Makefile b/app/src/dgp/Makefile
index 4bc24f9..1eb2e27 100644
--- a/app/src/dgp/Makefile
+++ b/app/src/dgp/Makefile
@@ -52,7 +52,7 @@ prof: dgp
 
 copy:
 ifdef UTT_BIN_DIR
-	cp dgp dgc canonize tre.rb $(UTT_BIN_DIR)/
+	cp dgp dgc canonize tre $(UTT_BIN_DIR)/
 	# ponizsza linijka jest do usuniecia
 	cp go attr.pm seg.rb $(UTT_BIN_DIR)/
 endif
diff --git a/app/src/dgp/tre.rb b/app/src/dgp/tre
similarity index 94%
rename from app/src/dgp/tre.rb
rename to app/src/dgp/tre
index 39ee7f7..fc337ae 100755
--- a/app/src/dgp/tre.rb
+++ b/app/src/dgp/tre
@@ -195,6 +195,11 @@ def parsegraph(nodes)
 
     parts  = dgp[1].split($dgpsep,6)
 
+    if parts[3]==nil || parts[4]==nil || parts[5]==nil
+      $stderr.print "ERR: tre requires dgp be called with '--info s' option. Aborting.\n"
+      exit
+    end
+
     i      = parts[0].to_i
     $pos[i] = dgp[0].to_i
     $sat << i if parts[1]=="s"