summaryrefslogtreecommitdiff
path: root/support/splint/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/Makefile')
-rw-r--r--support/splint/Makefile39
1 files changed, 39 insertions, 0 deletions
diff --git a/support/splint/Makefile b/support/splint/Makefile
new file mode 100644
index 0000000000..05209cf6f8
--- /dev/null
+++ b/support/splint/Makefile
@@ -0,0 +1,39 @@
+SPLINT_ROOT = $(shell pwd)
+SPLINT_EXAMPLES_DIRS = expression xxpression symbols ld
+
+DO_SUBMAKE = for dir in ${SPLINT_EXAMPLES_DIRS}; do cd ${SPLINT_ROOT}/examples/$$dir && ${MAKE} $(1); done
+
+include ${SPLINT_ROOT}/makefile.inc
+include ${SPLINT_ROOT}/makefile.loc
+
+# output a list of all control sequences defined in the package
+
+lists: tex/*.sty
+ perl scripts/cslist.pl $^ > cseqs.lst
+
+manual:
+ cd ${SPLINT_ROOT}/cweb && ${MAKE} splint.pdf
+
+docs:
+ cd ${SPLINT_ROOT}/cweb && ${MAKE} splint.pdf && ${MAKE} ssffo.pdf
+ $(call DO_SUBMAKE,docs)
+
+# clean will erase all automatically generated files in the current directory
+
+clean: clean_core
+ -rm -f cseqs.lst
+
+# mostlyclean will leave all the generated table and token equivalence files
+
+mostlyclean:
+ -cd cweb && ${MAKE} clean_temp && rm -f ctablesout b?out ltout smallp_out \
+ smalll_out lstabout bo.c np.c
+ $(call DO_SUBMAKE,mostlyclean)
+
+# distclean will erase all automatically generated files
+
+distclean: clean
+ rm -f splint.tar.bz2
+ cd cweb && ${MAKE} clean
+ $(call DO_SUBMAKE,clean)
+