search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
136 stars 20 forks source link

Makefile still looking for Microsoft C compiler despite support for it removed #88

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

Makefile looks for cl

That sounds like a forgotten leftover from #52.

Originally posted by @sim642 in https://github.com/goblint/cil/issues/87#issuecomment-1086571558

sim642 commented 2 years ago

Closed by #104.