generated Makefile.basic exe target needs .o's

Question

generated Makefile.basic exe target needs .o's

briangmilnes opened this issue 3 months ago · 4 comments

briangmilnes commented 3 months ago

%.exe: *.o
$(CC) $(CFLAGS) -o $@ $^ $(KRML_HOME)/krmllib/dist/generic/libkrmllib.a

Answer 1 · 2024-08-16T03:47:20.000Z

Or the library.

Answer 2 · 2024-08-16T04:10:06.000Z

Aren't those in the generated Makefile.include? Makefile.basic is hand-written in lives in misc/

Answer 3 · 2024-08-16T04:57:44.000Z

Well almost, it has no concept of main so I had to add
cc -I /home/milnes/third-party/everest/karamel/include -I /home/milnes/third-party/everest/karamel/krmllib/dist/generic -o build/KRML/c/main.exe build/KRML/c/main.o build/KRML/c/libkrml-makefiles.a /home/milnes/third-party/everest/karamel/krmllib/dist/generic/libkrmllib.a
build/KRML/c/main.exe

and it puts main.o in the archive. Which CC will ignore it seems.

Answer 4 · 2024-08-16T15:20:11.000Z

did you pass -o foobar.exe to krml?