- fixed a small oops: iprint() didn't reset the number output format to decimal
[ginac.git] / ginsh / Makefile.am
1 ## Process this file with automake to produce Makefile.in
2
3 bin_PROGRAMS = ginsh
4 ginsh_SOURCES = ginsh_parser.yy ginsh_lexer.ll ginsh.h
5 ginsh_LDADD = ../ginac/libginac.la $(GINSH_LIBS)
6 CPPFLAGS = -DIN_GINAC
7 INCLUDES = -I$(srcdir)/../ginac
8 man_MANS = ginsh.1
9 YFLAGS = -d
10 EXTRA_DIST = $(man_MANS) ginsh_parser.h ginsh_fcn_help.sed ginsh_op_help.sed
11
12 # files created by sed scripts
13 ginsh_fcn_help.c: ginsh.1 ginsh_fcn_help.sed
14         sed -n -f ginsh_fcn_help.sed <$< >$@
15
16 ginsh_op_help.c: ginsh.1 ginsh_op_help.sed
17         sed -n -f ginsh_op_help.sed <$< >$@
18
19 ginsh_parser.o: ginsh_fcn_help.c ginsh_op_help.c