Makefile - smtcoq - Fork of https://github.com/smtcoq/smtcoq.

about summary refs log tree commit diff stats

path: root/Makefile

blob: 5e3b013d15a3b68df1465b968555c87be12bb2ce (plain)

all:
	cd src && ./configure.sh && $(MAKE)

install: all
	cd src && $(MAKE) install