This commit is contained in:
parent
11ee418801
commit
dbafd8b482
4 changed files with 13285 additions and 1 deletions
|
|
@ -1,3 +1,16 @@
|
|||
sql_DATA := \
|
||||
benchmark-0001.sql \
|
||||
versioning.sql \
|
||||
auditor-triggers-0001.sql \
|
||||
exchange-0001.sql \
|
||||
exchange-0002.sql \
|
||||
exchange-0003.sql \
|
||||
exchange-0004.sql \
|
||||
exchange-0005.sql \
|
||||
drop.sql \
|
||||
procedures.sql \
|
||||
tops-0001.sql
|
||||
|
||||
procedures.sql: procedures.sql.in exchange_do_*.sql exchange_statistics_*.sql exchange_trigger_*.sql
|
||||
chmod +w $@ 2> /dev/null || true
|
||||
gcc -E -P -undef - < procedures.sql.in 2>/dev/null | sed -e "s/--.*//" | awk 'NF' - >$@
|
||||
|
|
@ -17,3 +30,27 @@ exchange-0004.sql: exchange-0004.sql.in 0004-*.sql
|
|||
chmod +w $@ 2> /dev/null || true
|
||||
gcc -E -P -undef - < exchange-0004.sql.in 2>/dev/null | sed -e "s/--.*//" | awk 'NF' - >$@
|
||||
chmod ugo-w $@
|
||||
|
||||
sql: procedures.sql exchange-0002.sql exchange-0003.sql exchange-0004.sql
|
||||
|
||||
OUTFILE := ../sql.ml
|
||||
|
||||
$(OUTFILE): sql
|
||||
@printf "" > $@
|
||||
@for f in $(sql_DATA); do \
|
||||
fname=$$(basename "$$f"); \
|
||||
base=$${fname%.*}; \
|
||||
fname=$$(echo "$${base}" | tr '-' '_'); \
|
||||
content=$$(cat "$$f"); \
|
||||
printf "let %s = {|%s|}\n" "$${fname}" "$${content}" >> $@; \
|
||||
done
|
||||
|
||||
.DEFAULT_GOAL := crunch
|
||||
crunch: $(OUTFILE)
|
||||
|
||||
clean:
|
||||
rm -f procedures.sql
|
||||
rm -f exchange-0002.sql
|
||||
rm -f exchange-0003.sql
|
||||
rm -f exchange-0004.sql
|
||||
rm -f $(OUTFILE)
|
||||
|
|
|
|||
13243
include/sql/sql.ml
Normal file
13243
include/sql/sql.ml
Normal file
File diff suppressed because it is too large
Load diff
Loading…
Add table
Add a link
Reference in a new issue