Open briangmilnes opened 1 month ago
tests/c-tests.exe: tests/c-tests.o dist/libbignum.a $(CC) $^ -o $@
for line 273 in karamel/book/tutorial/Makefile
tests/c-tests.exe: tests/c-tests.o dist/libbignum.a $(CC) $^ -o $@
for line 273 in karamel/book/tutorial/Makefile