Ran diagnostics:
open-input-file: cannot open module file
module path: pyffi/configure-pyffi
path: /Users/saludes/pyffi/configure-pyffi.rkt
system error: no such file or directory; rkt_err=3
I have pyffi cloned into /Users/saludes/ but configure-pyffi.rkt is at
pyffi-lib/pyffi/configure-pyffi.rkt inside the cloned repo;
So I guess it should be:
/Users/saludes/pyffi/pyffi-lib/pyffi/configure-pyffi.rkt in my case.