karamel icon indicating copy to clipboard operation
karamel copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

make tests won't link: dist/libbignum.a goes last

Open briangmilnes opened this issue 6 months ago • 0 comments

tests/c-tests.exe: tests/c-tests.o dist/libbignum.a $(CC) $^ -o $@

for line 273 in karamel/book/tutorial/Makefile

briangmilnes avatar Aug 02 '24 15:08 briangmilnes