Commit 1ab836c2 authored by POTTIER Francois's avatar POTTIER Francois

The code fragments for doc/ are now part of test/.

parent 8325c0c7
...@@ -24,6 +24,3 @@ _whizzy* ...@@ -24,6 +24,3 @@ _whizzy*
# latexmk # latexmk
*.fdb_latexmk *.fdb_latexmk
*.fls *.fls
# Misc.
*.processed.ml
include ../src/Makefile.preprocess include ../src/Makefile.preprocess
export TEXINPUTS=.:./code: export TEXINPUTS=.:../test:
.PHONY: all clean .PHONY: all clean
all: main.pdf all: main.pdf
SOURCES := $(wildcard *.tex) $(wildcard *.bib) $(wildcard *.sty) SOURCES := $(wildcard *.tex) $(wildcard *.bib) $(wildcard *.sty)
ML := $(wildcard code/*.ml) ML := $(wildcard ../test/*.ml)
PROCESSED := $(patsubst %.ml,%.processed.ml,$(ML)) PROCESSED := $(patsubst %.ml,%.processed.ml,$(ML))
%.pdf: %.tex $(SOURCES) $(ML) $(PROCESSED) %.pdf: %.tex $(SOURCES) $(ML) $(PROCESSED)
......
...@@ -57,9 +57,9 @@ ...@@ -57,9 +57,9 @@
% ------------------------------------------------------------------------------ % ------------------------------------------------------------------------------
Original: Original:
\orig{expr} \orig{expr00}
Processed: Processed:
\processed{expr} \processed{expr00}
\end{document} \end{document}
*.processed.ml
TESTS := \ TESTS := \
$(wildcard *.ml) $(shell ls *.ml | grep -v processed)
TARGETS := \ TARGETS := \
$(patsubst %.ml,%.native,$(TESTS)) $(patsubst %.ml,%.native,$(TESTS))
...@@ -13,7 +13,7 @@ OCAMLBUILD := \ ...@@ -13,7 +13,7 @@ OCAMLBUILD := \
-classic-display \ -classic-display \
-cflags "-g" -lflags "-g" \ -cflags "-g" -lflags "-g" \
.PHONY: test mli clean .PHONY: test mli processed clean
test: test:
@ make -C ../src uninstall || true @ make -C ../src uninstall || true
...@@ -27,6 +27,11 @@ mli: ...@@ -27,6 +27,11 @@ mli:
@ $(OCAMLBUILD) $(MLI) @ $(OCAMLBUILD) $(MLI)
@ more $(patsubst %,_build/%,$(MLI)) @ more $(patsubst %,_build/%,$(MLI))
include ../src/Makefile.preprocess
processed: $(patsubst %.ml,%.processed.ml,$(TESTS))
clean: clean:
@ rm -f *~ @ rm -f *~
@ rm -f *.processed.ml
@ $(OCAMLBUILD) -clean @ $(OCAMLBUILD) -clean
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment