Skip to content

Instantly share code, notes, and snippets.

@steinuil
Created May 10, 2018 09:15
Show Gist options
  • Save steinuil/28745e30898d6a2adf876c798da1a7f6 to your computer and use it in GitHub Desktop.
Save steinuil/28745e30898d6a2adf876c798da1a7f6 to your computer and use it in GitHub Desktop.
FILES= coreexamples.tex lablexamples.tex objectexamples.tex moduleexamples.tex\
advexamples.tex polymorphism.tex
TOPDIR=../../..
include $(TOPDIR)/Makefile.tools
LD_PATH="$(TOPDIR)/otherlibs/str:$(TOPDIR)/otherlibs/unix"
CAMLLATEX=$(SET_LD_PATH) $(OCAMLRUN) ../../tools/caml-tex2
TEXQUOTE=../../tools/texquote2
ALLFILES=$(FILES)
etex-files: $(ALLFILES)
all: $(ALLFILES)
.SUFFIXES:
.SECONDARY:
clean:
rm -f $(ALLFILES)
%.gen.tex: %.etex
$(CAMLLATEX) -caml "TERM=norepeat $(OCAML)" -n 80 -v false -o $@ $<
%.tex: %.gen.tex
$(TEXQUOTE) < $< > $@
$(ALLFILES): ../../tools/caml-tex2 $(TEXQUOTE)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment