The meta.license field of alt-ergo claims CÉCILL-C. Is that true?

@vbgl Good catch! I missed that they updated the license. I’ve now changed it to properly reflect the current license.

That’s a bit annoying to “update” to a non-free version. Moreover, they did mention that there should be a free version of Alt-Ergo 2 (https://lists.gforge.inria.fr/pipermail/why3-club/2017-November/001611.html).

So how do we move forward here? That comment is about a year old, alt-ergo 2.0 has been released almost a year ago, alt-ergo 2.2 has been released in April and afaik there is still no free version. I’m not really fond of sticking with an old version forever in the hopes that at some point we might be able to upgrade it. I suppose another option would be to keep both 1.3 and 2.0 around but I doubt that alt-ergo is sufficiently popular to justify that.

I’m convinced. Let’s acknowledge that Alt-Ergo is no longer free.

Can you please remove the overriding of ocamlPackages when calling the alt-ergo package in all-packages.nix? I think num is also missing from its build-inputs.

Also, what is the purpose of the patch? It seems enough to set installFlags = "LIBDIR=$(OCAMLFIND_DESTDIR)";.

I’ve removed the patch (thanks for pointing this out, I wasn’t aware that you could override variables like that), removed the override and added num to the build-inputs.

@GrahamcOfBorg build alt-ergo

No attempt on x86_64-linux (full log)

The following builds were skipped because they don't evaluate on x86_64-linux: alt-ergo

a) For `nixos-rebuild` you can set
  { nixpkgs.config.allowUnfree = true; }
in configuration.nix to override this.

b) For `nix-env`, `nix-build`, `nix-shell` or any other Nix command you can add
  { allowUnfree = true; }
to ~/.config/nixpkgs/config.nix.

No attempt on aarch64-linux (full log)

The following builds were skipped because they don't evaluate on aarch64-linux: alt-ergo

a) For `nixos-rebuild` you can set
  { nixpkgs.config.allowUnfree = true; }
in configuration.nix to override this.

b) For `nix-env`, `nix-build`, `nix-shell` or any other Nix command you can add
  { allowUnfree = true; }
to ~/.config/nixpkgs/config.nix.

No attempt on x86_64-darwin (full log)

The following builds were skipped because they don't evaluate on x86_64-darwin: alt-ergo

a) For `nixos-rebuild` you can set
  { nixpkgs.config.allowUnfree = true; }
in configuration.nix to override this.

b) For `nix-env`, `nix-build`, `nix-shell` or any other Nix command you can add
  { allowUnfree = true; }
to ~/.config/nixpkgs/config.nix.

Merged as 6738033.