make tests won't link: dist/libbignum.a goes last · Issue #456 · FStarLang/karamel · GitHub

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

Open

opened

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

for line 273 in karamel/book/tutorial/Makefile

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests