Cross Reference: Makefile
xref: /hets/HolLight/Makefile
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
Makefile revision 7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7f
c8012b9719c73f08418af7a0b4ba28fa1d200631Christian Maeder# $Id$
c8012b9719c73f08418af7a0b4ba28fa1d200631Christian Maeder
c8012b9719c73f08418af7a0b4ba28fa1d200631Christian Maeder.PHONY: check
c8012b9719c73f08418af7a0b4ba28fa1d200631Christian Maeder
c8012b9719c73f08418af7a0b4ba28fa1d200631Christian Maedercheck: hets
c8012b9719c73f08418af7a0b4ba28fa1d200631Christian Maeder ../hets -v2 -t HolLight2Isabelle -o thy example_binom.hol
23d36f448c5a8c02972d7f5de8713738bd9327fbChristian Maeder ../utils/nightly/runisabelle.sh *.thy > hol2isa.log 2>1
c8012b9719c73f08418af7a0b4ba28fa1d200631Christian Maeder
c8012b9719c73f08418af7a0b4ba28fa1d200631Christian Maeder%:
c8012b9719c73f08418af7a0b4ba28fa1d200631Christian Maeder (cd ..; $(MAKE) $@)

Indexes created Tue Jul 24 14:28:13 CEST 2018