Commits

Paweł Wieczorek  committed 4c00740

* dodano Makefile

  • Participants
  • Parent commits 72ebeb9

Comments (0)

Files changed (1)

+# $Id$
+COQ_MAKEFILE= coq_makefile
+GEN_MAKEFILE= Makefile.Coq
+SOURCES= `find . -name \*.v`
+WRAPED_MAKE= ${MAKE} -f ${GEN_MAKEFILE}
+
+all: ${GEN_MAKEFILE}
+	${WRAPED_MAKE} all
+
+clean: ${GEN_MAKEFILE}
+	${WRAPED_MAKE} clean
+
+${GEN_MAKEFILE}: genmakefile
+
+genmakefile:
+	${COQ_MAKEFILE} ${SOURCES} > ${GEN_MAKEFILE}
+
+