WSL "Nothing to compile. Try cleaning the build first."

Super excited to run infersharp on my codebase but it seems that the distro from the releases doesn’t work for me.

I got WSL2 up and running, setup the latest 1.5 distro and tried to run it against my code which gave me Nothing to compile. Try cleaning the build first.. The example folder has the same result (here is the log from infer-out\logs):

[18480][      debug] Sqlite write daemon: starting up
[18480][      debug] Sqlite write daemon: set up complete, waiting for connections
[18480][environment] CWD = /root/infersharp
[18480][environment] Read configuration in /root/infersharp/.inferconfig
[18480][environment] Project root = /root/infersharp
[18480][environment] INFER_ARGS =   @/tmp/args.tmp.2b2a08 --progress-bar-style multiline
[18480][environment] command line arguments:   infer run --cfg-json infer-staging/cfg.json
[18480][environment]                           --tenv-json infer-staging/tenv.json
[18480][environment] Could not retrieve available memory (possibly not on Linux)
[18480][environment] Active checkers: self-in-block (C/C++/ObjC), parameter-not-null-checked (C/C++/ObjC), starvation (C/C++/ObjC, Java), siof (C/C++/ObjC), racerd (C/C++/ObjC, C#/.Net, Java), pulse (C/C++/ObjC, C#/.Net, Erlang, Hack, Java), liveness (C/C++/ObjC), inefficient-keyset-iterator (Java), fragment-retains-view (Java)
[18480][environment] Scheduler: file
[18480][environment] Cores used: 10
[18480][environment] Infer version v1.1.0-9d469330b6
[18480][environment] Copyright 2009 - present Facebook. All Rights Reserved.
[18480][environment] 
[18480][   progress] Capturing using JSON mode...
[18480][      debug] Tenv.store: global tenv has size 92646776 bytes.
[18480][      debug] Tenv.store: canonicalized tenv has size 77879600 bytes.
[18480][      debug] GC stats for capture:
[18480][      debug]   minor_words: 9.76167e+07
[18480][      debug]   promoted_words: 3.50925e+07
[18480][      debug]   major_words: 3.58421e+07
[18480][      debug]   minor_collections: 97
[18480][      debug]   major_collections: 7
[18480][      debug]   compactions: 0
[18480][      debug]   top_heap_words: 38164992
[18480][      debug]   
[18480][  user warn] Nothing to compile. Try cleaning the build first.
[18480][   progress] There was nothing to analyze.
[18480][      debug] GC stats for report:
[18480][      debug]   minor_words: 3977
[18480][      debug]   promoted_words: 0
[18480][      debug]   major_words: 0
[18480][      debug]   minor_collections: 0
[18480][      debug]   major_collections: 0
[18480][      debug]   compactions: 0
[18480][      debug]   top_heap_words: 38164992
[18480][      debug]   
[18480][      debug] GC stats for main_process_full:
[18480][      debug]   minor_words: 1.00486e+08
[18480][      debug]   promoted_words: 3.54107e+07
[18480][      debug]   major_words: 3.61951e+07
[18480][      debug]   minor_collections: 104
[18480][      debug]   major_collections: 7
[18480][      debug]   compactions: 0
[18480][      debug]   top_heap_words: 38164992
[18480][      debug]   
[18481][      debug] Detected 0 spec overwrittes.
[18481][      debug] Sqlite write daemon: terminating
[18480][     result] 
  No issues found  

I saw that a very similar issue was raised here https://github.com/microsoft/infersharp/issues/213, Following the advice there I removed infer-out and infer-staging but got the same result when running either my code or the provided examples.

The staging folder also looks correct

Is there more verbose logging that I can enable to narrow down the issue? or something that I can change locally so that it works in WSL?

[matjin]

Great! Happy to hear this fixed it 😃

And thank you for working this out! I will modify the documentation.

[crener]

Thanks for being patent with me 😃