Cross Reference:
xref: /hets/Proofs/Makefile.in
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
Makefile revision 8ef75f1cc0437656bf622cec5ac9e8ea221da8f2
967e5f3c25249c779575864692935627004d3f9eChristian Maeder# $Id$
967e5f3c25249c779575864692935627004d3f9eChristian Maeder
81d182b21020b815887e9057959228546cf61b6bChristian Maeder.PHONY: check
f11f713bebd8e1e623a0a4361065df256033de47Christian Maeder
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maedercheck: hatch
967e5f3c25249c779575864692935627004d3f9eChristian Maeder ./runcheck.sh ../hatch
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maeder
967e5f3c25249c779575864692935627004d3f9eChristian Maederoutput: hatch
89054b2b95a3f92e78324dc852f3d34704e2ca49Christian Maeder ./runcheck.sh ../hatch set
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder
717686b54b9650402e2ebfbaadf433eab8ba5171Christian Maederhatch:
717686b54b9650402e2ebfbaadf433eab8ba5171Christian Maeder if test ! -x ../hatch; then (cd ..; ./ghc-call); fi
967e5f3c25249c779575864692935627004d3f9eChristian Maeder
967e5f3c25249c779575864692935627004d3f9eChristian Maeder%:
967e5f3c25249c779575864692935627004d3f9eChristian Maeder (cd ../../..; $(MAKE) $@)
967e5f3c25249c779575864692935627004d3f9eChristian Maeder
fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maeder

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