diff options
Diffstat (limited to 'support/splint/Makefile')
-rw-r--r-- | support/splint/Makefile | 39 |
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) + |