https://github.com/coq-ext-lib/coq-ext-lib
Revision ea6b2801cebe4f2a02cb1b07fc7caed0c5c24288 authored by Gregory Malecha on 11 February 2016, 17:48:21 UTC, committed by Gregory Malecha on 11 February 2016, 17:48:41 UTC
1 parent 839d5b6
Tip revision: ea6b2801cebe4f2a02cb1b07fc7caed0c5c24288 authored by Gregory Malecha on 11 February 2016, 17:48:21 UTC
a few more functions.
a few more functions.
Tip revision: ea6b280
Makefile
all: theories examples
theories: Makefile.coq
$(MAKE) -f Makefile.coq
Makefile.coq:
coq_makefile -f _CoqProject -o Makefile.coq
install: Makefile.coq
$(MAKE) -f Makefile.coq install
examples: theories
$(MAKE) -C examples
clean:
$(MAKE) -f Makefile.coq clean
$(MAKE) -C examples clean
uninstall:
$(MAKE) -f Makefile.coq uninstall
dist:
@ git archive --prefix coq-ext-lib/ HEAD -o $(PROJECT_NAME).tgz
.PHONY: all clean dist theories examples
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...