Skip to main content

Browse the archive

Revision 6438c0db8ab17f264062eef7db8061c18fccd2b5 authored by Yannick Forster on 22 May 2019, 13:55:32 UTC, committed by Yannick Forster on 22 May 2019, 13:55:32 UTC 
fixed ocaml version
1 parent ac100be
Raw File
Makefile 
deps:
	+make -C external all

all:
	+make -C theories all

clean:
	+make -C theories clean

realclean:
	+make -C external clean
	+make -C theories clean

html:
	+make -C theories website

.PHONY: all html clean realclean
back to top