.PHONY: links
links:
	(cd ../../basis-library && cat integer/int-inf.sig) >int-inf.sig
.PHONY: clean
clean:
	../../bin/clean
