Commit fb391fd3 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

Rename vcsn-b/-z/-tdc to vcsn-char-b/-z/-fmp.

parent 5d61249f
2008-07-31 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Rename vcsn-b, vcsn-z, and vcsn-tdc to vcsn-char-b, vcsn-char-z,
and vcsn-char-fmp to prepare for the introduction of new instances
of TAF-Kit. This also fixes #155.
* taf-kit/tests/automata/b/ -> taf-kit/tests/automata/char-b/.
* taf-kit/tests/automata/tdc/ -> taf-kit/tests/automata/char-fmp/.
* taf-kit/tests/automata/z/ -> taf-kit/tests/automata/char-z/.
* taf-kit/tests/vcsn-b.test -> taf-kit/tests/vcsn-char-b.test
* taf-kit/tests/vcsn-tdc.test -> taf-kit/tests/vcsn-char-fmp.test
* taf-kit/tests/vcsn-z.test -> taf-kit/tests/vcsn-char-z.test
* taf-kit/tests/defs.in, taf-kit/tests/Makefile.am,
taf-kit/src/Makefile.am, configure.ac: Adjust.
2008-07-31 Florian Lesaint <florian.lesaint@lrde.epita.fr>
Add some contexts based on int letter.
......
......@@ -207,9 +207,9 @@ m4_define([VCSN_CONFIG_WRAPPER],
[AC_CONFIG_FILES([taf-kit/tests/$1:taf-kit/tests/wrapper.in],
[chmod a+x taf-kit/tests/$1])
])
VCSN_CONFIG_WRAPPER([vcsn-b])
VCSN_CONFIG_WRAPPER([vcsn-tdc])
VCSN_CONFIG_WRAPPER([vcsn-z])
VCSN_CONFIG_WRAPPER([vcsn-char-b])
VCSN_CONFIG_WRAPPER([vcsn-char-fmp])
VCSN_CONFIG_WRAPPER([vcsn-char-z])
......
......@@ -16,7 +16,7 @@ include $(top_srcdir)/vaucanson.mk
AM_CPPFLAGS += $(CXXFLAGS_OPTIMIZE)
AM_LDFLAGS = $(TERMLIBS)
bin_PROGRAMS = vcsn-b vcsn-z vcsn-tdc
bin_PROGRAMS = vcsn-char-b vcsn-char-z vcsn-char-fmp
COMMON_SOURCES = commands.hh \
commands_macros.hh \
......@@ -30,44 +30,45 @@ COMMON_SOURCES = commands.hh \
interface.cc \
interface.hh \
main.cc \
predefined_alphabets.hh \
pipe.hh \
pipe.hxx \
pipe_command_sequence.hh \
pipe_command_sequence.hxx \
pipe_getters.hh \
pipe_getters.hxx \
pipe_writers.hh \
predefined_alphabets.hh \
pipe.hh \
pipe.hxx \
pipe_command_sequence.hh \
pipe_command_sequence.hxx \
pipe_getters.hh \
pipe_getters.hxx \
pipe_writers.hh \
pipe_writers.hxx \
parser_options.hh \
parser_options.hxx
vcsn_b_SOURCES = $(COMMON_SOURCES) \
ratexp_commands.hh common_automaton_commands.hh b_commands.cc
vcsn_b_CPPFLAGS = $(AM_CPPFLAGS) \
-DCONTEXT=boolean_automaton -DVCSN_USE_LIB
vcsn_b_LDADD = $(LDADD) \
$(top_builddir)/lib/libvcsn-b.la \
$(top_builddir)/lib/libkrat_exp.la
vcsn_char_b_SOURCES = $(COMMON_SOURCES) \
ratexp_commands.hh \
common_automaton_commands.hh \
b_commands.cc
vcsn_char_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=boolean_automaton -DVCSN_USE_LIB
vcsn_char_b_LDADD = $(LDADD) \
$(top_builddir)/lib/libvcsn-b.la \
$(top_builddir)/lib/libkrat_exp.la
vcsn_z_SOURCES = $(COMMON_SOURCES) \
ratexp_commands.hh common_automaton_commands.hh z_commands.cc
vcsn_z_CPPFLAGS = $(AM_CPPFLAGS) \
-DCONTEXT=z_automaton -DVCSN_USE_LIB
vcsn_z_LDADD = $(LDADD) \
$(top_builddir)/lib/libvcsn-z.la \
vcsn_char_z_SOURCES = $(COMMON_SOURCES) \
ratexp_commands.hh \
common_automaton_commands.hh \
z_commands.cc
vcsn_char_z_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=z_automaton -DVCSN_USE_LIB
vcsn_char_z_LDADD = $(LDADD) \
$(top_builddir)/lib/libvcsn-z.la \
$(top_builddir)/lib/libkrat_exp.la
vcsn_tdc_SOURCES = $(COMMON_SOURCES) \
tdc_commands.cc
#vcsn_tdc_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=fmp_transducer \
vcsn_char_fmp_SOURCES = $(COMMON_SOURCES) fmp_commands.cc
#vcsn_char_fmp_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=fmp_transducer \
# -DWITH_TWO_ALPHABETS -DVCSN_USE_LIB
vcsn_tdc_CPPFLAGS = $(AM_CPPFLAGS) \
-DCONTEXT=fmp_transducer -DWITH_TWO_ALPHABETS
vcsn_tdc_LDADD = $(LDADD) \
$(top_builddir)/lib/libvcsn-tdc.la \
$(top_builddir)/lib/libkrat_exp.la
vcsn_char_fmp_CPPFLAGS = $(AM_CPPFLAGS) \
-DCONTEXT=fmp_transducer -DWITH_TWO_ALPHABETS
vcsn_char_fmp_LDADD = $(LDADD) \
$(top_builddir)/lib/libvcsn-fmp-tdc.la \
$(top_builddir)/lib/libkrat_exp.la
## ------ ##
......
// tdc_commands.cc: this file is part of the Vaucanson project.
// fmp_commands.cc: this file is part of the Vaucanson project.
//
// Vaucanson, a generic library for finite state machines.
//
......@@ -16,7 +16,7 @@
//
/**
* @file tdc_commands.cc
* @file fmp_commands.cc
* @author Guillaume Leroi
* @date Thu Jul 20 17:24:46 2006
*
......
......@@ -2,7 +2,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2006, 2007 The Vaucanson Group.
// Copyright (C) 2006, 2007, 2008 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
......@@ -95,7 +95,7 @@ public:
// Looks like boolean_tranducer::automaton_t is never loaded from file.
// Make sure that it is not converted from something else (it would
// case trouble with the pipe). Most likely in vcsn-tdc, automaton_t
// case trouble with the pipe). Most likely in vcsn-fmp, automaton_t
// and boolean_transducer::automaton_t are the same (hence the
// absence of declaration of the namespace)
# if (false)
......
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007 The Vaucanson Group.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 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
......@@ -14,34 +14,34 @@
include $(top_srcdir)/build-aux/check.mk
TESTS = \
vcsn-b.test \
vcsn-z.test \
vcsn-tdc.test \
completeness.test
vcsn-char-b.test \
vcsn-char-z.test \
vcsn-char-fmp.test \
completeness.test
XFAIL_TESTS = completeness.test
EXTRA_DIST = $(TESTS) \
automata/b/ambiguous1.xml \
automata/b/ambiguous2.xml \
automata/b/non_ambiguous1.xml \
automata/tdc/t1_compose_u1.xml \
automata/tdc/t2.xml \
automata/tdc/u2.xml \
automata/tdc/t2_u-compose_u2.xml \
automata/tdc/inverted_t1.xml \
automata/b/b_transposed.xml \
automata/b/b_to_transpose.xml \
automata/b/void_b_automaton.xml \
automata/z/void_z_automaton.xml \
automata/z/standard_c1.xml
EXTRA_DIST = $(TESTS) \
automata/char-b/ambiguous1.xml \
automata/char-b/ambiguous2.xml \
automata/char-b/b_to_transpose.xml \
automata/char-b/b_transposed.xml \
automata/char-b/non_ambiguous1.xml \
automata/char-b/void_b_automaton.xml \
automata/char-fmp/inverted_t1.xml \
automata/char-fmp/t1_compose_u1.xml \
automata/char-fmp/t2_u-compose_u2.xml \
automata/char-fmp/t2.xml \
automata/char-fmp/u2.xml \
automata/char-z/standard_c1.xml \
automata/char-z/void_z_automaton.xml
# Each test case depends on defs.
check_SCRIPTS = \
defs \
vcsn-b \
vcsn-tdc \
vcsn-z
defs \
vcsn-char-b \
vcsn-char-fmp \
vcsn-char-z
distclean-local:
-rm -rf $(TESTS:.test=.dir)
# -*- shell-script -*-
# @configure_input@
#
# Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2006, 2007
# Free Software Foundation, Inc.
# Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
# 2006, 2007, 2008 Free Software Foundation, Inc.
#
# This file is part of Vaucanson.
# This file was part of GNU Automake.
......@@ -183,19 +183,19 @@ b1=$automata_dir/b/b1.xml
c1=$automata_dir/z/c1.xml
t1=$automata_dir/tdc/t1.xml
u1=$automata_dir/tdc/u1.xml
ambiguous1=$automata_tests_dir/b/ambiguous1.xml
ambiguous2=$automata_tests_dir/b/ambiguous2.xml
non_ambiguous1=$automata_tests_dir/b/non_ambiguous1.xml
void_b_automaton=$automata_tests_dir/b/void_b_automaton.xml
b_to_transpose=$automata_tests_dir/b/b_to_transpose.xml
b_transposed=$automata_tests_dir/b/b_transposed.xml
void_z_automaton=$automata_tests_dir/z/void_z_automaton.xml
standard_c1=$automata_tests_dir/z/standard_c1.xml
t1_compose_u1=$automata_tests_dir/tdc/t1_compose_u1.xml
t2=$automata_tests_dir/tdc/t2.xml
u2=$automata_tests_dir/tdc/u2.xml
t2_ucompose_u2=$automata_tests_dir/tdc/t2_u-compose_u2.xml
inverted_t1=$automata_tests_dir/tdc/inverted_t1.xml
ambiguous1=$automata_tests_dir/char-b/ambiguous1.xml
ambiguous2=$automata_tests_dir/char-b/ambiguous2.xml
non_ambiguous1=$automata_tests_dir/char-b/non_ambiguous1.xml
void_b_automaton=$automata_tests_dir/char-b/void_b_automaton.xml
b_to_transpose=$automata_tests_dir/char-b/b_to_transpose.xml
b_transposed=$automata_tests_dir/char-b/b_transposed.xml
void_z_automaton=$automata_tests_dir/char-z/void_z_automaton.xml
standard_c1=$automata_tests_dir/char-z/standard_c1.xml
t1_compose_u1=$automata_tests_dir/char-fmp/t1_compose_u1.xml
t2=$automata_tests_dir/char-fmp/t2.xml
u2=$automata_tests_dir/char-fmp/u2.xml
t2_ucompose_u2=$automata_tests_dir/char-fmp/t2_u-compose_u2.xml
inverted_t1=$automata_tests_dir/char-fmp/inverted_t1.xml
## ---------- ##
......
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