Open gojimmypi opened 5 years ago
I also have 15, 17 and vs2019 side-by-side. That should not be the issue. Z3 solver is the theorem prover used for the assembly simulation. It is not necessary if you are not planning on using it, but I guess it is necessary for compiling the vsix.
Frankly, the Nuget restore never worked for me, and I'm (like everybody else) is happy when these bloody version conflict are solved after hours of fiddling. I will update some packages and hopefully the conflicts will be solved too.
I saw that Visual Studio 2019 (and 2015 & 2017) are supported in version 1.9.6.0 as noted in https://github.com/HJLebbink/asm-dude/issues/92 however when I do a fresh
git clone
and upon compiling I get these errors and warnings when trying to compile the solution in Visual Studio 2019:Is this or this the
Microsoft.Z3
that is needed?Any tips on resolving these conflicts?
I also tried right click on solution and
Restore nuget packages
without luck.Note that I have all 3 versions of Visual Studio installed side-by-side: 2015, 2017, and 2019.