Skip to content
Snippets Groups Projects
Commit 9109936b authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[doc] fix headache commands when generating examples

parent 00ab300d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
doc/developer/tutorial/hello/Makefile
+ 4
− 4
View file @ 9109936b
...@@ -30,17 +30,17 @@ all: clean $(FINAL_PLUGINS) $(MLIS) ...@@ -30,17 +30,17 @@ all: clean $(FINAL_PLUGINS) $(MLIS)
generated/src/Makefile%: src/Makefile% generated/src/Makefile%: src/Makefile%
mkdir -p $(dir $@) mkdir -p $(dir $@)
cp $< $@ cp $< $@
headache -r $< headache -r $@
generated/src/%.ml: src/%.ml generated/src/%.ml: src/%.ml
mkdir -p $(dir $@) mkdir -p $(dir $@)
cp $< $@ cp $< $@
headache -r $< headache -r $@
generated/src/tests/hello/%.c: src/%.c generated/src/tests/hello/%.c: src/%.c
mkdir -p $(dir $@) mkdir -p $(dir $@)
cp $< $@ cp $< $@
headache -r $< headache -r $@
generated/src/tests/hello/oracle/%.oracle: src/%.oracle generated/src/tests/hello/oracle/%.oracle: src/%.oracle
mkdir -p $(dir $@) mkdir -p $(dir $@)
...@@ -49,7 +49,7 @@ generated/src/tests/hello/oracle/%.oracle: src/%.oracle ...@@ -49,7 +49,7 @@ generated/src/tests/hello/oracle/%.oracle: src/%.oracle
generated/%/Hello.mli: src/Hello.mli generated/%/Hello.mli: src/Hello.mli
mkdir -p $(dir $@) mkdir -p $(dir $@)
cp $< $@ cp $< $@
headache -r $< headache -r $@
generated/script: generated/src/run_print_to_file.ml \ generated/script: generated/src/run_print_to_file.ml \
generated/src/extend_run.ml generated/src/extend_run.ml
......
doc/developer/tutorial/viewcfg/Makefile
+ 8
− 7
View file @ 9109936b
...@@ -31,16 +31,16 @@ MLIS=$(addsuffix /ViewCfg.mli,$(filter-out generated, $(DIRS))) ...@@ -31,16 +31,16 @@ MLIS=$(addsuffix /ViewCfg.mli,$(filter-out generated, $(DIRS)))
dirs: $(DIRS) $(MLIS) dirs: $(DIRS) $(MLIS)
$(DIRS): $(DIRS):
mkdir -p $@ mkdir -p $@
generated/src/%: src/% generated/src/%: src/%
cp $< $@ cp $< $@
headache -r $< headache -r $@
generated/%/ViewCfg.mli: src/ViewCfg.mli generated/%/ViewCfg.mli: src/ViewCfg.mli
cp $< $@ cp $< $@
headache -r $< headache -r $@
generated/intermediary/print_cfg_novalue.ml: generated/src/print_cfg_begin.ml\ generated/intermediary/print_cfg_novalue.ml: generated/src/print_cfg_begin.ml\
generated/src/print_cfg_vfile.ml\ generated/src/print_cfg_vfile.ml\
...@@ -61,7 +61,7 @@ generated/intermediary/print_cfg_value.ml: generated/src/print_cfg_begin.ml\ ...@@ -61,7 +61,7 @@ generated/intermediary/print_cfg_value.ml: generated/src/print_cfg_begin.ml\
generated/intermediary/dump_function_memo_no_clear_cache_and_deps.ml:\ generated/intermediary/dump_function_memo_no_clear_cache_and_deps.ml:\
generated/src/register_cfg_graph_state.ml\ generated/src/register_cfg_graph_state.ml\
generated/src/dump_to_string_memoized.ml\ generated/src/dump_to_string_memoized.ml\
generated/src/dump_function_memo_no_clear_cache.ml generated/src/dump_function_memo_no_clear_cache.ml
rm -f $@ rm -f $@
for i in $^; do cat $$i >> $@; echo "" >> $@; done for i in $^; do cat $$i >> $@; echo "" >> $@; done
...@@ -69,7 +69,7 @@ generated/intermediary/dump_function_memo_clear_cache_and_deps.ml:\ ...@@ -69,7 +69,7 @@ generated/intermediary/dump_function_memo_clear_cache_and_deps.ml:\
generated/src/register_cfg_graph_state.ml\ generated/src/register_cfg_graph_state.ml\
generated/src/dump_to_string_memoized.ml\ generated/src/dump_to_string_memoized.ml\
generated/src/register_value_computed_state.ml\ generated/src/register_value_computed_state.ml\
generated/src/dump_function_memo_clear_cache.ml generated/src/dump_function_memo_clear_cache.ml
rm -f $@ rm -f $@
for i in $^; do cat $$i >> $@; echo "" >> $@; done for i in $^; do cat $$i >> $@; echo "" >> $@; done
...@@ -91,7 +91,7 @@ generated/value/cfg_print.ml: generated/src/print_stmt.ml\ ...@@ -91,7 +91,7 @@ generated/value/cfg_print.ml: generated/src/print_stmt.ml\
generated/value_with_gui/cfg_print.ml: generated/value/cfg_print.ml\ generated/value_with_gui/cfg_print.ml: generated/value/cfg_print.ml\
generated/src/dump_function.ml\ generated/src/dump_function.ml\
generated/src/gui.ml generated/src/gui.ml
rm -f $@ rm -f $@
for i in $^; do cat $$i >> $@; echo "" >> $@; done for i in $^; do cat $$i >> $@; echo "" >> $@; done
...@@ -147,8 +147,9 @@ generated/split/cfg_gui.ml: generated/src/gui.ml ...@@ -147,8 +147,9 @@ generated/split/cfg_gui.ml: generated/src/gui.ml
generated/split/Makefile: src/Makefile.split generated/split/Makefile: src/Makefile.split
cp $^ $@ cp $^ $@
headache -r $@
pdfs/modules.pdf: pdfs/modules.pdf:
cd generated/split && make doc cd generated/split && make doc
cd pdfs && dot -Tpdf ../generated/split/doc/code/modules.dot -o modules.pdf cd pdfs && dot -Tpdf ../generated/split/doc/code/modules.dot -o modules.pdf
......
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