search

VUISIS / formula

FORMULA 2.0: Formal Specifications for Verification and Synthesis
Other
10 stars 3 forks source link

Nix flakes build failure #23

Open casciand opened 1 year ago

casciand commented 1 year ago

Attempting to build with the commands nix run github:VUISIS/formula-dotnet --experimental-features 'nix-command flakes' or nix run github:VUISIS/formula --experimental-features 'nix-command flakes' on Apple silicon yields the following error:

Unhandled exception. System.BadImageFormatException: Could not load file or assembly '/nix/store/rj7hr039s2k21s19xzav8qafjnjjsmr8-formula-dotnet-2.0/lib/formula-dotnet/CommandLine.dll'. An attempt was made to load a program with an incorrect format.

siraben commented 1 year ago

I was able to replicate the failure. Will bisect nixpkgs and take a look at the faulty commit.