6647f290c3a95e610dcee230e86b482e22ad6a07
[mes.git] / GNUmakefile
1 .PHONY: all check default 
2 #CFLAGS:=-std=c99 -O0
3 CFLAGS:=-std=c99 -O3 -finline-functions
4 #CFLAGS:=-pg -std=c99 -O0
5 #CFLAGS:=-std=c99 -O0 -g
6
7 default: all
8
9 all: mes
10
11 mes: mes.c mes.h
12
13 mes.h: mes.c GNUmakefile
14         ( echo '#if MES_C'; echo '#if MES_FULL' 1>&2;\
15         grep -E '^(scm [*])*[a-z0-9_]+ \(.*\)( {|$$)' $< | grep -Ev '\(.*(char |bool |int )' | sed -e 's,^scm [*],,' | sort |\
16                 while read f; do\
17                         fun=$$(echo $$f | sed -e 's,^scm [*],,' -e 's,{.*,,');\
18                         name=$$(echo $$fun | sed -e 's,^scm [\*],,' | grep -o '^[^ ]*');\
19                         scm_name=$$(echo $$name | sed -e 's,_to_,->,' -e 's,_p$$,?,' -e 's,_x$$,!,' -e 's,^builtin_,,' -re 's,(.*)_$$,c:\1,' | sed \
20                                 -e 's,^divide$$,/,'\
21                                 -e 's,^is?$$,=,'\
22                                 -e 's,^greater?$$,>,'\
23                                 -e 's,^less?$$,<,'\
24                                 -e 's,^minus$$,-,'\
25                                 -e 's,^multiply$$,*,'\
26                                 -e 's,^plus$$,+,'\
27                                 -e 's,_,-,g');\
28                         args=$$(echo $$fun | grep -o 'scm [\*]' | wc -l);\
29                         [ "$$(echo $$fun | fgrep -o ... )" = "..." ] && args=n;\
30                         echo "scm *$$fun;";\
31                         echo "scm scm_$$name = {FUNCTION$$args, .name=\"$$scm_name\", .function$$args=&$$name};";\
32                         echo "a = add_environment (a, \"$$scm_name\", &scm_$$name);" 1>&2;\
33         done; echo '#endif'; echo '#endif' 1>&2) > $@ 2>environment.i
34         grep -oE '^scm ([a-z_]+) = {SYMBOL,' mes.c | cut -d' ' -f 2 |\
35                 while read f; do\
36                         echo "symbols = cons (&$$f, symbols);";\
37                 done > symbols.i
38
39 check: all guile-check mes-check
40
41 mes-check: all
42 #       ./mes.test
43 #       ./mes.test ./mes
44         cat base0.mes base0-if.mes base.mes lib/test.mes test/base.test | ./mes
45         cat base0.mes base0-if.mes base.mes lib/test.mes test/closure.test | ./mes
46         cat base0.mes base0-if.mes base.mes quasiquote.mes lib/test.mes test/quasiquote.test | ./mes
47         cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes lib/test.mes test/let.test | ./mes
48         cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes lib/srfi/srfi-0.scm scm.mes lib/test.mes test/scm.test | ./mes
49         cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes lib/srfi/srfi-0.scm scm.mes syntax.mes lib/record.mes lib/record.scm lib/srfi/srfi-9.scm lib/test.mes test/record.test |./mes
50 ifneq ($(SYNTAX),)
51         cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes scm.mes syntax.mes let-syntax.mes lib/srfi/srfi-0.scm lib/test.mes test/let-syntax.test | ./mes
52         cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes scm.mes syntax.mes let-syntax.mes lib/srfi/srfi-0.scm lib/match.scm lib/test.mes test/match.test | ./mes
53 else
54         @echo skipping slooowwww syntax tests
55 endif
56
57 repl:
58         cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes scm.mes syntax.mes let-syntax.mes lib/srfi/srfi-0.scm lib/match.scm repl.mes /dev/stdin | ./mes 
59
60 guile-check:
61         guile -s <(cat base.mes lib/test.mes test/base.test)
62         guile -s <(cat base.mes lib/test.mes test/closure.test)
63         guile -s <(cat base.mes lib/test.mes test/quasiquote.test)
64         guile -s <(cat quasiquote.mes lib/test.mes test/quasiquote.test)
65 #       guile -s <(cat base.mes quasiquote.mes let.mes lib/test.mes test/let.test)
66 #       guile -s <(cat base.mes let.mes test/foo.test)
67 #       exit 1
68         guile -s <(cat lib/test.mes test/base.test)
69         guile -s <(cat lib/test.mes test/quasiquote.test)
70         guile -s <(cat lib/test.mes test/let.test)
71         guile -s <(cat quasiquote.mes lib/test.mes test/base.test)
72         guile -s <(cat quasiquote.mes lib/test.mes test/quasiquote.test)
73         guile -s <(cat lib/test.mes test/record.test)
74         guile -s <(cat lib/test.mes test/let-syntax.test)
75         guile -s <(cat lib/test.mes test/match.test)
76
77 run: all
78         cat scm.mes test.mes | ./mes
79
80 psyntax: all
81         cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes psyntax.mes psyntax.pp psyntax2.mes | ./mes
82
83 syntax-case: all
84         cat scm.mes syntax.mes syntax-case-lib.mes syntax-case.mes syntax-case-after.mes syntax-case-test.mes | ./mes
85
86 syntax-case.cat: syntax.mes syntax-case-lib.mes syntax-case.mes syntax-case-after.mes syntax-case-test.mes
87         cat $^ > $@
88
89 guile-syntax-case: syntax-case.cat
90         guile -s $^
91
92 peg: all
93         cat scm.mes syntax.mes syntax-case-lib.mes syntax-case.mes syntax-case-after.mes peg.mes peg/codegen.scm peg/string-peg.scm peg/simplify-tree.scm peg/using-parsers.scm peg/cache.scm peg-test.mes | ./mes
94
95 peg.cat: peg/pmatch.scm peg.mes peg/codegen.scm peg/string-peg.scm peg/simplify-tree.scm peg/using-parsers.scm peg/cache.scm peg-test.mes
96         cat $^ | sed 's,\(;; Packages the results of a parser\),(when (guile?) (set! compile-peg-pattern (@@ (ice-9 peg codegen) compile-peg-pattern)))\n\1,' > $@
97
98 guile-peg: peg.cat
99 #       guile -s peg-test.mes
100 #       @echo "======================================="
101         guile -s $^
102
103 clean:
104         rm -f mes environment.i symbol.i mes.h *.cat hello.o main.o a.out
105
106 paren: all
107         echo -e 'EOF\n___P((()))' | cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes scm.mes syntax.mes lib/srfi/srfi-0.scm lib/record.mes lib/record.scm lib/srfi/srfi-9.scm lib/lalr.mes lib/lalr.scm paren.scm - | ./mes
108
109 paren.cat: lib/lalr.scm paren.scm
110         cat $^ > $@
111
112 guile-paren: paren.cat
113         echo '___P((()))' | guile -s $^ 
114
115 mescc: all
116         echo ' EOF ' | cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes scm.mes syntax.mes let-syntax.mes lib/srfi/srfi-0.scm lib/record.mes lib/record.scm lib/srfi/srfi-9.scm lib/lalr.mes lib/lalr.scm lib/rnrs/bytevectors.scm lib/srfi/srfi-1.scm lib/match.scm lib/elf.mes c-lexer.scm mescc.scm - main.c | ./mes > a.out
117         chmod +x a.out
118
119 mescc.cat: lib/lalr.scm lib/rnrs/bytevectors.scm lib/srfi/srfi-1.scm lib/match.scm lib/elf.mes c-lexer.scm mescc.scm
120         cat $^ > $@
121
122 guile-mescc: mescc.cat
123         cat main.c | guile -s $^ > a.out
124         chmod +x a.out
125
126 hello.o: hello.S
127         as --32 -march=i386 -o $@ $^
128
129 hello: hello.o
130         ld -A i386 -m elf_i386 -nostdlib -nodefaultlibs -A i386 -o $@ $^
131 #       ld -A i386 -m elf_i386 -A i386 -o $@ $^
132
133 a.out: lib/elf.mes elf.mes GNUmakefile
134         cat base0.mes base0-if.mes base.mes quasiquote.mes let.mes scm.mes lib/rnrs/bytevectors.scm lib/elf.mes elf.mes | ./mes > a.out
135         chmod +x a.out