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

Instantiate libvcsn for int-b and int-z and use it in TAF-Kit.

parent 89344a76
2008-08-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Instantiate libvcsn for int-b and int-z and use it in TAF-Kit.
* lib/generate_libvcsn.rb: Instantiate libvcsn for int-b and int-z.
* lib/Makefile.am: Include vcsn-int-b/libvcsn-int-b.mk
and vcsn-int-z/libvcsn-int-z.mk.
* taf-kit/src/Makefile.am (vcsn-int-b, vcsn-int-z): Use
libvcsn-int-b.la and libvcsn-int-z.la.
2008-08-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Do not assume that eval() takes a string of characters.
......
......@@ -20,8 +20,10 @@ MAINTAINERCLEANFILES =
include krat_exp/libkrat_exp.mk
include vcsn-b/libvcsn-b.mk
include vcsn-int-b/libvcsn-int-b.mk
include vcsn-r/libvcsn-r.mk
include vcsn-z/libvcsn-z.mk
include vcsn-int-z/libvcsn-int-z.mk
include vcsn-z-max/libvcsn-z-max.mk
include vcsn-z-min/libvcsn-z-min.mk
include vcsn-fmp-tdc/libvcsn-fmp-tdc.mk
......@@ -31,8 +33,10 @@ include vcsn-z-tdc/libvcsn-z-tdc.mk
maintainer-clean-local:
rm -rf $(top_builddir)/lib/vcsn-b \
$(top_builddir)/lib/vcsn-int-b \
$(top_builddir)/lib/vcsn-r \
$(top_builddir)/lib/vcsn-z \
$(top_builddir)/lib/vcsn-int-z \
$(top_builddir)/lib/vcsn-z-min \
$(top_builddir)/lib/vcsn-z-max \
$(top_builddir)/lib/vcsn-z-fmp-tdc \
......@@ -40,8 +44,10 @@ maintainer-clean-local:
$(top_builddir)/lib/vcsn-fmp-tdc \
$(top_builddir)/lib/vcsn-tdc
rm -rf $(top_srcdir)/lib/vcsn-b \
$(top_srcdir)/lib/vcsn-int-b \
$(top_srcdir)/lib/vcsn-r \
$(top_srcdir)/lib/vcsn-z \
$(top_srcdir)/lib/vcsn-int-z \
$(top_srcdir)/lib/vcsn-z-min \
$(top_srcdir)/lib/vcsn-z-max \
$(top_srcdir)/lib/vcsn-z-fmp-tdc \
......
......@@ -17,8 +17,10 @@
# Hash table filled with the supported types of automaton
vcsn = Hash[
"vcsn-b" => "boolean_automaton",
"vcsn-int-b" => "int_boolean_automaton",
"vcsn-r" => "r_automaton",
"vcsn-z" => "z_automaton",
"vcsn-int-z" => "int_z_automaton",
"vcsn-z-max" => "z_max_plus_automaton",
"vcsn-z-min" => "z_min_plus_automaton",
"vcsn-fmp-tdc" => "fmp_transducer",
......@@ -43,6 +45,7 @@ def create?(type, file)
# FIXME: more comments with the some specs on the algorithms must be added to do so
(
( "vcsn-b" == type or "vcsn-r" == type or "vcsn-z" == type or
"vcsn-int-b" == type or "vcsn-int-z" == type or
"vcsn-z-max" == type or "vcsn-z-min" == type ) and
file !~ /realtime_decl.hh/ and
file !~ /composition_cover.hh/ and # transducer
......
......@@ -78,18 +78,20 @@ vcsn_int_b_SOURCES = $(COMMON_SOURCES) \
common_automaton_commands.hh \
b_commands.cc
vcsn_int_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_boolean_automaton \
-DNO_PREDEF_ALPHABETS
-DNO_PREDEF_ALPHABETS -DVCSN_USE_LIB
vcsn_int_b_LDADD = $(LDADD) \
$(top_builddir)/lib/libkrat_exp.la
$(top_builddir)/lib/libkrat_exp.la \
$(top_builddir)/lib/libvcsn-int-b.la
vcsn_int_z_SOURCES = $(COMMON_SOURCES) \
ratexp_commands.hh \
common_automaton_commands.hh \
z_commands.cc
vcsn_int_z_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_z_automaton \
-DNO_PREDEF_ALPHABETS
-DNO_PREDEF_ALPHABETS -DVCSN_USE_LIB
vcsn_int_z_LDADD = $(LDADD) \
$(top_builddir)/lib/libkrat_exp.la
$(top_builddir)/lib/libkrat_exp.la \
$(top_builddir)/lib/libvcsn-int-z.la
vcsn_int_fmp_SOURCES = $(COMMON_SOURCES) fmp_commands.cc
vcsn_int_fmp_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_fmp_transducer \
......
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