Makefile.am 5.92 KB
Newer Older
1
## Vaucanson, a generic library for finite state machines.
2
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008 The Vaucanson Group.
3
4
5
6
7
8
9
10
11
12
13
##
## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
## as published by the Free Software Foundation; either version 2
## of the License, or (at your option) any later version.
##
## The complete GNU General Public Licence Notice can be found as the
## `COPYING' file in the root directory.
##
## The Vaucanson Group consists of people listed in the `AUTHORS' file.

14
include $(top_srcdir)/vaucanson.mk
15

16
AM_CPPFLAGS += $(CXXFLAGS_OPTIMIZE)
17
AM_LDFLAGS += $(TERMLIBS)
18

19
20
bin_PROGRAMS = vcsn-char-b vcsn-char-z vcsn-char-fmp-b \
               vcsn-int-b vcsn-int-z vcsn-int-fmp-b \
Jerome Galtier's avatar
Jerome Galtier committed
21
	       vcsn-int-fmp-z vcsn-char-fmp-z \
22
	       vcsn-char-char-b vcsn-int-int-b
23
24
25
26
27

COMMON_SOURCES = commands.hh			\
		 commands_macros.hh		\
		 common_commands.hh		\
		 common.hh			\
28
29
		 edition_commands.hh		\
		 edition_commands.hxx		\
Guillaume Leroi's avatar
Guillaume Leroi committed
30
		 library_commands.hh		\
31
32
		 getters.hh			\
		 getters.hxx			\
33
34
		 interface.cc			\
		 interface.hh			\
35
		 main.cc			\
36
37
38
39
40
41
42
43
		 predefined_alphabets.hh	\
		 pipe.hh			\
		 pipe.hxx			\
		 pipe_command_sequence.hh	\
		 pipe_command_sequence.hxx	\
		 pipe_getters.hh		\
		 pipe_getters.hxx		\
		 pipe_writers.hh		\
44
45
46
		 pipe_writers.hxx		\
		 parser_options.hh		\
		 parser_options.hxx
47
48


49
50
51
52
53
54
55
56
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
57

58
59
60
61
vcsn_char_z_SOURCES = $(COMMON_SOURCES)			\
		      ratexp_commands.hh		\
                      common_automaton_commands.hh 	\
                      z_commands.cc
62
63
vcsn_char_z_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=z_automaton -DVCSN_USE_LIB \
			-DWITH_WEIGHTS
64
65
vcsn_char_z_LDADD = $(LDADD)				\
		  $(top_builddir)/lib/libvcsn-z.la	\
66
		  $(top_builddir)/lib/libkrat_exp.la
Akim Demaille's avatar
Akim Demaille committed
67

Jerome Galtier's avatar
Jerome Galtier committed
68
69
vcsn_char_fmp_b_SOURCES = $(COMMON_SOURCES) \
			   fmp_commands.cc
70
71
vcsn_char_fmp_b_CPPFLAGS = $(AM_CPPFLAGS) \
			    -DCONTEXT=fmp_transducer -DWITH_TWO_ALPHABETS \
Jerome Galtier's avatar
Jerome Galtier committed
72
			    -DIOAUT_CONTEXT=boolean_automaton \
73
                            -DIOAUT_NAME='"Boolean"' \
Jerome Galtier's avatar
Jerome Galtier committed
74
			    -DRW_CONTEXT=boolean_transducer -DVCSN_USE_LIB
75
76
vcsn_char_fmp_b_LDADD = $(LDADD) \
			 $(top_builddir)/lib/libvcsn-fmp-tdc.la \
Jerome Galtier's avatar
Jerome Galtier committed
77
			 $(top_builddir)/lib/libvcsn-b.la \
78
79
			 $(top_builddir)/lib/libkrat_exp.la

Jerome Galtier's avatar
Jerome Galtier committed
80
81
vcsn_char_fmp_z_SOURCES = $(COMMON_SOURCES) \
			   fmp_commands.cc
82
83
vcsn_char_fmp_z_CPPFLAGS = $(AM_CPPFLAGS) \
			    -DCONTEXT=z_fmp_transducer -DWITH_TWO_ALPHABETS \
Jerome Galtier's avatar
Jerome Galtier committed
84
			    -DIOAUT_CONTEXT=z_automaton \
85
                            -DIOAUT_NAME='"Z"' \
Jerome Galtier's avatar
Jerome Galtier committed
86
			    -DRW_CONTEXT=z_transducer -DVCSN_USE_LIB \
87
88
			    -DWITH_WEIGHTS
vcsn_char_fmp_z_LDADD = $(LDADD) \
Jerome Galtier's avatar
Jerome Galtier committed
89
90
			 $(top_builddir)/lib/libvcsn-z-fmp-tdc.la \
			 $(top_builddir)/lib/libvcsn-z.la \
91
			 $(top_builddir)/lib/libkrat_exp.la
92

93
94
95
96
vcsn_int_b_SOURCES = $(COMMON_SOURCES)			\
		      ratexp_commands.hh		\
	              common_automaton_commands.hh	\
                      b_commands.cc
97
vcsn_int_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_boolean_automaton \
98
                      -DNO_PREDEF_ALPHABETS -DVCSN_USE_LIB
99
vcsn_int_b_LDADD = $(LDADD)				\
100
101
		    $(top_builddir)/lib/libkrat_exp.la  \
		    $(top_builddir)/lib/libvcsn-int-b.la
102

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
103
104
105
106
107
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 \
108
109
                      -DNO_PREDEF_ALPHABETS -DVCSN_USE_LIB \
		      -DWITH_WEIGHTS
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
110
vcsn_int_z_LDADD = $(LDADD)				\
111
112
		    $(top_builddir)/lib/libkrat_exp.la  \
		    $(top_builddir)/lib/libvcsn-int-z.la
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
113

Jerome Galtier's avatar
Jerome Galtier committed
114
115
vcsn_int_fmp_b_SOURCES = $(COMMON_SOURCES) \
			  fmp_commands.cc
116
117
vcsn_int_fmp_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_fmp_transducer \
			   -DNO_PREDEF_ALPHABETS -DWITH_TWO_ALPHABETS \
Jerome Galtier's avatar
Jerome Galtier committed
118
			   -DIOAUT_CONTEXT=int_boolean_automaton \
119
                           -DIOAUT_NAME='"Boolean"' \
Jerome Galtier's avatar
Jerome Galtier committed
120
			   -DRW_CONTEXT=int_boolean_transducer -DVCSN_USE_LIB
121
122
vcsn_int_fmp_b_LDADD = $(LDADD) \
			$(top_builddir)/lib/libkrat_exp.la \
Jerome Galtier's avatar
Jerome Galtier committed
123
			$(top_builddir)/lib/libvcsn-int-b.la \
124
			$(top_builddir)/lib/libvcsn-int-fmp-tdc.la
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
125

Jerome Galtier's avatar
Jerome Galtier committed
126
127
vcsn_int_fmp_z_SOURCES = $(COMMON_SOURCES) \
			  fmp_commands.cc
128
129
130
vcsn_int_fmp_z_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_z_fmp_transducer \
			   -DNO_PREDEF_ALPHABETS -DWITH_TWO_ALPHABETS \
			   -DIOAUT_CONTEXT=int_z_automaton \
131
                           -DIOAUT_NAME='"Z"' \
Jerome Galtier's avatar
Jerome Galtier committed
132
133
			   -DRW_CONTEXT=int_z_transducer -DWITH_WEIGHTS \
			   -DVCSN_USE_LIB
134
135
vcsn_int_fmp_z_LDADD = $(LDADD) \
			$(top_builddir)/lib/libkrat_exp.la \
Jerome Galtier's avatar
Jerome Galtier committed
136
			$(top_builddir)/lib/libvcsn-int-z.la \
137
			$(top_builddir)/lib/libvcsn-int-z-fmp-tdc.la
Guillaume Leroi's avatar
Guillaume Leroi committed
138

Jerome Galtier's avatar
Jerome Galtier committed
139
140
141
142
143
vcsn_char_char_b_SOURCES = $(COMMON_SOURCES) \
			    ratexp_commands.hh \
			    common_automaton_commands.hh \
			    b_commands.cc
vcsn_char_char_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=char_char_boolean_automaton \
144
145
146
			      -DVCSN_USE_LIB \
			      -DFIRST_PROJECTION_CONTEXT=boolean_automaton \
			      -DSECOND_PROJECTION_CONTEXT=boolean_automaton
Jerome Galtier's avatar
Jerome Galtier committed
147
148
149
150
151
152
153
154
155
vcsn_char_char_b_LDADD = $(LDADD) \
			  $(top_builddir)/lib/libkrat_exp.la \
			  $(top_builddir)/lib/libvcsn-char-char-b.la

vcsn_int_int_b_SOURCES = $(COMMON_SOURCES) \
			    ratexp_commands.hh \
			    common_automaton_commands.hh \
			    b_commands.cc
vcsn_int_int_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_int_boolean_automaton \
156
157
158
			    -DVCSN_USE_LIB \
			    -DFIRST_PROJECTION_CONTEXT=int_boolean_automaton \
			    -DSECOND_PROJECTION_CONTEXT=int_boolean_automaton
Jerome Galtier's avatar
Jerome Galtier committed
159
160
161
162
vcsn_int_int_b_LDADD = $(LDADD) \
			  $(top_builddir)/lib/libkrat_exp.la \
			  $(top_builddir)/lib/libvcsn-int-int-b.la

Akim Demaille's avatar
Akim Demaille committed
163
164
165
166
167
168
## ------ ##
## argp.  ##
## ------ ##

# Be sure to fetch the argp we ship.
AM_CPPFLAGS += -I$(top_srcdir)/argp
169
LDADD = $(top_builddir)/argp/libargp.la