Makefile.am 7.65 KB
Newer Older
1
## Vaucanson, a generic library for finite state machines.
2
3
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008,
## 2009 The Vaucanson Group.
4
5
6
7
8
9
10
11
12
13
14
##
## 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.

15
include $(top_srcdir)/vaucanson.mk
16

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

20
21
22
23
24
bin_PROGRAMS = vcsn-char-b vcsn-char-z vcsn-char-r vcsn-char-fmp-b 	\
               vcsn-int-b vcsn-int-z vcsn-int-fmp-b 			\
	       vcsn-int-fmp-z vcsn-char-fmp-z 				\
	       vcsn-char-char-b vcsn-int-int-b 				\
	       vcsn-char-int-b vcsn-char-zmin vcsn-char-zmax
25
26
27
28
29

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


52
53
54
55
56
57
58
59
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
60

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

71
72
73
74
75
76
77
78
79
80
vcsn_char_r_SOURCES = $(COMMON_SOURCES)			\
		      ratexp_commands.hh		\
                      common_automaton_commands.hh 	\
                      r_commands.cc
vcsn_char_r_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=r_automaton -DVCSN_USE_LIB \
			-DWITH_WEIGHTS
vcsn_char_r_LDADD = $(LDADD)				\
		  $(top_builddir)/lib/libvcsn-r.la	\
		  $(top_builddir)/lib/libkrat_exp.la

Jerome Galtier's avatar
Jerome Galtier committed
81
82
vcsn_char_fmp_b_SOURCES = $(COMMON_SOURCES) \
			   fmp_commands.cc
83
84
vcsn_char_fmp_b_CPPFLAGS = $(AM_CPPFLAGS) \
			    -DCONTEXT=fmp_transducer -DWITH_TWO_ALPHABETS \
Jerome Galtier's avatar
Jerome Galtier committed
85
			    -DIOAUT_CONTEXT=boolean_automaton \
86
                            -DIOAUT_NAME='"Boolean"' \
Jerome Galtier's avatar
Jerome Galtier committed
87
			    -DRW_CONTEXT=boolean_transducer -DVCSN_USE_LIB
88
89
vcsn_char_fmp_b_LDADD = $(LDADD) \
			 $(top_builddir)/lib/libvcsn-fmp-tdc.la \
Jerome Galtier's avatar
Jerome Galtier committed
90
			 $(top_builddir)/lib/libvcsn-b.la \
91
92
			 $(top_builddir)/lib/libkrat_exp.la

Jerome Galtier's avatar
Jerome Galtier committed
93
94
vcsn_char_fmp_z_SOURCES = $(COMMON_SOURCES) \
			   fmp_commands.cc
95
96
vcsn_char_fmp_z_CPPFLAGS = $(AM_CPPFLAGS) \
			    -DCONTEXT=z_fmp_transducer -DWITH_TWO_ALPHABETS \
Jerome Galtier's avatar
Jerome Galtier committed
97
			    -DIOAUT_CONTEXT=z_automaton \
98
                            -DIOAUT_NAME='"Z"' \
Jerome Galtier's avatar
Jerome Galtier committed
99
			    -DRW_CONTEXT=z_transducer -DVCSN_USE_LIB \
100
101
			    -DWITH_WEIGHTS
vcsn_char_fmp_z_LDADD = $(LDADD) \
Jerome Galtier's avatar
Jerome Galtier committed
102
103
			 $(top_builddir)/lib/libvcsn-z-fmp-tdc.la \
			 $(top_builddir)/lib/libvcsn-z.la \
104
			 $(top_builddir)/lib/libkrat_exp.la
105

106
107
108
109
vcsn_int_b_SOURCES = $(COMMON_SOURCES)			\
		      ratexp_commands.hh		\
	              common_automaton_commands.hh	\
                      b_commands.cc
110
vcsn_int_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_boolean_automaton \
111
                      -DNO_PREDEF_ALPHABETS -DVCSN_USE_LIB
112
vcsn_int_b_LDADD = $(LDADD)				\
113
114
		    $(top_builddir)/lib/libkrat_exp.la  \
		    $(top_builddir)/lib/libvcsn-int-b.la
115

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
116
117
118
119
120
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 \
121
122
                      -DNO_PREDEF_ALPHABETS -DVCSN_USE_LIB \
		      -DWITH_WEIGHTS
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
123
vcsn_int_z_LDADD = $(LDADD)				\
124
125
		    $(top_builddir)/lib/libkrat_exp.la  \
		    $(top_builddir)/lib/libvcsn-int-z.la
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
126

Jerome Galtier's avatar
Jerome Galtier committed
127
128
vcsn_int_fmp_b_SOURCES = $(COMMON_SOURCES) \
			  fmp_commands.cc
129
130
vcsn_int_fmp_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_fmp_transducer \
			   -DNO_PREDEF_ALPHABETS -DWITH_TWO_ALPHABETS \
Jerome Galtier's avatar
Jerome Galtier committed
131
			   -DIOAUT_CONTEXT=int_boolean_automaton \
132
                           -DIOAUT_NAME='"Boolean"' \
Jerome Galtier's avatar
Jerome Galtier committed
133
			   -DRW_CONTEXT=int_boolean_transducer -DVCSN_USE_LIB
134
135
vcsn_int_fmp_b_LDADD = $(LDADD) \
			$(top_builddir)/lib/libkrat_exp.la \
Jerome Galtier's avatar
Jerome Galtier committed
136
			$(top_builddir)/lib/libvcsn-int-b.la \
137
			$(top_builddir)/lib/libvcsn-int-fmp-tdc.la
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
138

Jerome Galtier's avatar
Jerome Galtier committed
139
140
vcsn_int_fmp_z_SOURCES = $(COMMON_SOURCES) \
			  fmp_commands.cc
141
142
143
vcsn_int_fmp_z_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_z_fmp_transducer \
			   -DNO_PREDEF_ALPHABETS -DWITH_TWO_ALPHABETS \
			   -DIOAUT_CONTEXT=int_z_automaton \
144
                           -DIOAUT_NAME='"Z"' \
Jerome Galtier's avatar
Jerome Galtier committed
145
146
			   -DRW_CONTEXT=int_z_transducer -DWITH_WEIGHTS \
			   -DVCSN_USE_LIB
147
148
vcsn_int_fmp_z_LDADD = $(LDADD) \
			$(top_builddir)/lib/libkrat_exp.la \
Jerome Galtier's avatar
Jerome Galtier committed
149
			$(top_builddir)/lib/libvcsn-int-z.la \
150
			$(top_builddir)/lib/libvcsn-int-z-fmp-tdc.la
Guillaume Leroi's avatar
Guillaume Leroi committed
151

Jerome Galtier's avatar
Jerome Galtier committed
152
153
154
155
156
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 \
157
			      -DVCSN_USE_LIB -DNO_PREDEF_ALPHABETS \
158
			      -DFIRST_PROJECTION_CONTEXT=boolean_automaton \
159
160
			      -DSECOND_PROJECTION_CONTEXT=boolean_automaton \
			      -DNO_SECOND_OPERATOR
Jerome Galtier's avatar
Jerome Galtier committed
161
162
163
164
vcsn_char_char_b_LDADD = $(LDADD) \
			  $(top_builddir)/lib/libkrat_exp.la \
			  $(top_builddir)/lib/libvcsn-char-char-b.la

165
166
167
168
169
vcsn_char_int_b_SOURCES = $(COMMON_SOURCES) \
			    ratexp_commands.hh \
			    common_automaton_commands.hh \
			    b_commands.cc
vcsn_char_int_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=char_int_boolean_automaton \
170
			      -DVCSN_USE_LIB -DNO_PREDEF_ALPHABETS \
171
172
173
174
175
176
			      -DFIRST_PROJECTION_CONTEXT=boolean_automaton \
			      -DSECOND_PROJECTION_CONTEXT=int_boolean_automaton
vcsn_char_int_b_LDADD = $(LDADD) \
			  $(top_builddir)/lib/libkrat_exp.la \
			  $(top_builddir)/lib/libvcsn-char-int-b.la

Jerome Galtier's avatar
Jerome Galtier committed
177
178
179
180
181
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 \
182
			    -DVCSN_USE_LIB -DNO_PREDEF_ALPHABETS \
183
			    -DFIRST_PROJECTION_CONTEXT=int_boolean_automaton \
184
185
			    -DSECOND_PROJECTION_CONTEXT=int_boolean_automaton \
			    -DNO_SECOND_OPERATOR
Jerome Galtier's avatar
Jerome Galtier committed
186
187
188
vcsn_int_int_b_LDADD = $(LDADD) \
			  $(top_builddir)/lib/libkrat_exp.la \
			  $(top_builddir)/lib/libvcsn-int-int-b.la
189
190


191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211

vcsn_char_zmin_SOURCES = $(COMMON_SOURCES)			\
		      ratexp_commands.hh			\
	              common_automaton_commands.hh		\
                      b_commands.cc
vcsn_char_zmin_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=z_min_plus_automaton -DVCSN_USE_LIB
vcsn_char_zmin_LDADD = $(LDADD)					\
		    $(top_builddir)/lib/libvcsn-z-min.la	\
		    $(top_builddir)/lib/libkrat_exp.la

vcsn_char_zmax_SOURCES = $(COMMON_SOURCES)			\
		      ratexp_commands.hh			\
	              common_automaton_commands.hh		\
                      b_commands.cc
vcsn_char_zmax_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=z_max_plus_automaton -DVCSN_USE_LIB
vcsn_char_zmax_LDADD = $(LDADD)					\
		    $(top_builddir)/lib/libvcsn-z-max.la	\
		    $(top_builddir)/lib/libkrat_exp.la



212
213
LDADD = $(top_builddir)/gnulib/libgnu.la
AM_CPPFLAGS += -I$(top_srcdir)/gnulib