search

goblint / cil

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

Fix "package loop for goblint-cil.makecfg" error on OCaml 4.08.1 #35

Closed tkchia closed 3 years ago

tkchia commented 3 years ago

Under OCaml 4.08.1 on Ubuntu Linux 20.04.2 LTS, running cilly gives this error message:

$ cilly
No arguments passed
Usage: cilly [options] [gcc_or_mscl arguments]
...
  All other arguments starting with -- are passed to the Cilly process.

The following are the arguments of the Cilly process
Error: findlib: package loop for goblint-cil.makecfg.
Fatal error: exception Errormsg.Error

This patch fixes this problem.

michael-schwarz commented 3 years ago

Thanks for the fix!