New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
manual: signature option for caml_example #1702
Changes from 4 commits
4ceb793
c2a865e
3723146
5918e4e
c0e103d
358b227
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -12,9 +12,14 @@ TRANSF=$(SET_LD_PATH) $(OCAMLRUN) ../../tools/transf | |
TEXQUOTE=../../tools/texquote2 | ||
FORMAT=../../tools/format-intf | ||
|
||
WITH_TRANSF= ocamldoc.tex top.tex intf-c.tex flambda.tex spacetime.tex \ | ||
CAMLLATEX= $(OCAMLRUN) ../../tools/caml-tex2 -caml "TERM=norepeat $(OCAML)" \ | ||
-n 80 -v false | ||
|
||
WITH_TRANSF= top.tex intf-c.tex flambda.tex spacetime.tex \ | ||
afl-fuzz.tex lexyacc.tex debugger.tex | ||
|
||
WITH_CAMLEXAMPLE = ocamldoc.tex | ||
|
||
etex-files: $(FILES) | ||
|
||
all: $(FILES) | ||
|
@@ -38,6 +43,16 @@ $(WITH_TRANSF):%.tex:%.etex | |
&& mv $*.texquote_error.tex $*.tex \ | ||
|| printf "Failure when generating %s\n" $*.tex | ||
|
||
|
||
$(WITH_CAMLEXAMPLE):%.tex:%.etex | ||
@$(CAMLLATEX) -o $*.caml_tex_error.tex $*.etex \ | ||
&& mv $*.caml_tex_error.tex $*.gen.tex \ | ||
&& $(TRANSF) < $*.gen.tex > $*.transf_error.tex \ | ||
&& mv $*.transf_error.tex $*.gen.tex\ | ||
&& $(TEXQUOTE) < $*.gen.tex > $*.texquote_error.tex\ | ||
&& mv $*.texquote_error.tex $*.tex\ | ||
|| printf "Failure when generating %s\n" $*.tex | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. We are accumulating logic to use CAMLLATEX/TRANSF/TEXQUOTE in several different Makefiles (apparently There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This is probably a good idea for a next PR. |
||
|
||
warnings-help.etex: ../warnings-help.etex | ||
cp ../warnings-help.etex . | ||
|
||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Does this not need an update to take 482e8a8 into account?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You are totally right, I had forgotten this point. I should try to make my test environment sensitive to this problem. Fixed.