Makefile « scripts - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/scripts/Makefile

blob: bf51ce77e41f7be616ea3cd0febca23f882a35d8 (plain)

all: synthesis

synthesis: synthesis-results.scm
	chicken-csc -static -o $@ $<

install: synthesis
	install -s $< ~/.local/bin

.PHONY: all install