FStarLang / FStarLang/karamel

generated Makefile.basic exe target needs .o's

Open
#461 4 comments 0 reactions 0 assignees View on GitHub
Dominant language
OCaml
Stars
519
Forks
73
Avg merge
2h 58m
Merged PRs (30d)
1

Description

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

Contributor guide

No contributing guide indexed for this repository

Research direction

Locate the generator or template that produces Makefile.basic and inspect the %.exe rule shown in the issue. Verify how object files are selected for the target, then regenerate a sample Makefile and confirm the executable target links the required .o files successfully.

Written by the indexing model from the issue text.

Assessment

Tech stack
c
Domain
build-system
Issue type
Bug
Difficulty
2/5
Estimated time
1-3 hours
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
48/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.