Commit 1bf1ad24 authored by Jerome Galtier's avatar Jerome Galtier
Browse files

TAF-Kit: Disable predefined alphabets for pair contexts.

	* taf-kit/src/Makefile.am: Define `NO_PREDEF_ALPHABETS' for the
	  `vcsn-char-char-b', `vcsn-char-int-b' and `vcsn-int-int-b'
	  executables.
	* taf-kit/tests/vcsn-char-b.test,
	* taf-kit/tests/vcsn-char-char-b.test,
	* taf-kit/tests/vcsn-char-fmp-b.test,
	* taf-kit/tests/vcsn-char-fmp-z.test,
	* taf-kit/tests/vcsn-char-int-b.test,
	* taf-kit/tests/vcsn-char-z.test,
	* taf-kit/tests/vcsn-int-b.test,
	* taf-kit/tests/vcsn-int-fmp-b.test,
	* taf-kit/tests/vcsn-int-fmp-z.test,
	* taf-kit/tests/vcsn-int-int-b.test,
	* taf-kit/tests/vcsn-int-z.test: Check whether or not a predefined
	  alphabet is defined.
parent 0b290ec9
2009-01-21 Jerome Galtier <jerome.galtier@lrde.epita.fr>
TAF-Kit: Disable predefined alphabets for pair contexts.
* taf-kit/src/Makefile.am: Define `NO_PREDEF_ALPHABETS' for the
`vcsn-char-char-b', `vcsn-char-int-b' and `vcsn-int-int-b'
executables.
* taf-kit/tests/vcsn-char-b.test,
* taf-kit/tests/vcsn-char-char-b.test,
* taf-kit/tests/vcsn-char-fmp-b.test,
* taf-kit/tests/vcsn-char-fmp-z.test,
* taf-kit/tests/vcsn-char-int-b.test,
* taf-kit/tests/vcsn-char-z.test,
* taf-kit/tests/vcsn-int-b.test,
* taf-kit/tests/vcsn-int-fmp-b.test,
* taf-kit/tests/vcsn-int-fmp-z.test,
* taf-kit/tests/vcsn-int-int-b.test,
* taf-kit/tests/vcsn-int-z.test: Check whether or not a predefined
alphabet is defined.
2009-01-21 Jerome Galtier <jerome.galtier@lrde.epita.fr>
 
XML: Add support for xerces-c 3.0 (Close #193).
......
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008 The Vaucanson Group.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008,
## 2009 The Vaucanson Group.
##
## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
......@@ -152,7 +153,7 @@ vcsn_char_char_b_SOURCES = $(COMMON_SOURCES) \
common_automaton_commands.hh \
b_commands.cc
vcsn_char_char_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=char_char_boolean_automaton \
-DVCSN_USE_LIB \
-DVCSN_USE_LIB -DNO_PREDEF_ALPHABETS \
-DFIRST_PROJECTION_CONTEXT=boolean_automaton \
-DSECOND_PROJECTION_CONTEXT=boolean_automaton \
-DNO_SECOND_OPERATOR
......@@ -165,7 +166,7 @@ vcsn_char_int_b_SOURCES = $(COMMON_SOURCES) \
common_automaton_commands.hh \
b_commands.cc
vcsn_char_int_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=char_int_boolean_automaton \
-DVCSN_USE_LIB \
-DVCSN_USE_LIB -DNO_PREDEF_ALPHABETS \
-DFIRST_PROJECTION_CONTEXT=boolean_automaton \
-DSECOND_PROJECTION_CONTEXT=int_boolean_automaton
vcsn_char_int_b_LDADD = $(LDADD) \
......@@ -177,7 +178,7 @@ vcsn_int_int_b_SOURCES = $(COMMON_SOURCES) \
common_automaton_commands.hh \
b_commands.cc
vcsn_int_int_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_int_boolean_automaton \
-DVCSN_USE_LIB \
-DVCSN_USE_LIB -DNO_PREDEF_ALPHABETS \
-DFIRST_PROJECTION_CONTEXT=int_boolean_automaton \
-DSECOND_PROJECTION_CONTEXT=int_boolean_automaton \
-DNO_SECOND_OPERATOR
......
......@@ -490,6 +490,9 @@ done
$VCSN -aab --parser="SPACE=toto SPACE=tata" thompson 'a+b' 1>/dev/null 2>stderr
diff stderr stderr.ref
# Check predefined alphabets in help.
$VCSN --help |grep predefined
## ------------------- ##
## Test div3base2.xml. ##
## ------------------- ##
......
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2008 The Vaucanson Group.
# Copyright (C) 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -39,3 +39,6 @@ sed '/^#/d' <<EOF | $VCSN -a"(a,x)(b,y)" edit-automaton wd-empty.xml
EOF
$VCSN -p"$writing_data" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |fail1 grep predefined
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2006, 2007, 2008 The Vaucanson Group.
# Copyright (C) 2006, 2007, 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -407,3 +407,6 @@ sed '/^#/d' <<EOF | $VCSN -a"ab" -A"xy" edit-automaton wd-empty.xml
EOF
$VCSN -p"$writing_data" -P"$writing_data1" -Q"$writing_data2" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |grep predefined
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2008 The Vaucanson Group.
# Copyright (C) 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -159,3 +159,6 @@ sed '/^#/d' <<EOF | $VCSN -a"ab" -A"xy" edit-automaton wd-empty.xml
EOF
$VCSN -p"$writing_data" -P"$writing_data1" -Q"$writing_data2" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |grep predefined
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2008 The Vaucanson Group.
# Copyright (C) 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -37,3 +37,6 @@ sed '/^#/d' <<EOF | $VCSN -a"(a,11)(x,11)" edit-automaton wd-empty.xml
EOF
$VCSN -p"$writing_data" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |fail1 grep predefined
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2006, 2007, 2008 The Vaucanson Group.
# Copyright (C) 2006, 2007, 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -232,4 +232,7 @@ EOF
$VCSN -p"$writing_data" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |grep predefined
exit 0
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2006, 2007, 2008 The Vaucanson Group.
# Copyright (C) 2006, 2007, 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -140,4 +140,7 @@ EOF
$VCSN -p"$writing_data" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |fail1 grep predefined
exit 0
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2008 The Vaucanson Group.
# Copyright (C) 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -49,3 +49,6 @@ sed '/^#/d' <<EOF | $VCSN -a"10,11" -A"12,13" edit-automaton wd-empty.xml
EOF
$VCSN -p"$writing_data" -P"$writing_data1" -Q"$writing_data2" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |fail1 grep predefined
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2008 The Vaucanson Group.
# Copyright (C) 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -99,3 +99,6 @@ sed '/^#/d' <<EOF | $VCSN -a"10,11" -A"12,13" edit-automaton wd-empty.xml
EOF
$VCSN -p"$writing_data" -P"$writing_data1" -Q"$writing_data2" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |fail1 grep predefined
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2008 The Vaucanson Group.
# Copyright (C) 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -37,3 +37,6 @@ sed '/^#/d' <<EOF | $VCSN -a"(10,11)(12,11)" edit-automaton wd-empty.xml
EOF
$VCSN -p"$writing_data" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |fail1 grep predefined
#! /bin/sh
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2008 The Vaucanson Group.
# Copyright (C) 2008, 2009 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -104,3 +104,6 @@ sed '/^#/d' <<EOF | $VCSN -a"10,11" edit-automaton wd-empty.xml
EOF
$VCSN -p"$writing_data" identity wd-empty.xml > wd-new.xml
diff wd-new.xml wd-ref.xml
# Check predefined alphabets in help.
$VCSN --help |fail1 grep predefined
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment