tvl-depot/users/glittershark/achilles/ach/Makefile

default: simple

%.ll: %.ach
	cargo run -- compile $< -o $@ -f llvm

%.o: %.ll
	llc $< -o $@ -filetype=obj

%: %.o
	clang $< -o $@

.PHONY: clean

clean:
	@rm -f *.ll *.o simple functions
Initial commit 2021-03-07 21:29:59 +01:00			`default: simple`

			`%.ll: %.ach`
			`cargo run -- compile $< -o $@ -f llvm`

			`%.o: %.ll`
			`llc $< -o $@ -filetype=obj`

			`%: %.o`
			`clang $< -o $@`

			`.PHONY: clean`

			`clean:`
Implement top-level ascription of declarations 2021-03-14 22:01:25 +01:00			`@rm -f .ll .o simple functions`