Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

2020 10 11 fix stylish haskell #100228

Conversation

Anton-Latukha
Copy link
Contributor

Motivation for this change

The reason of the pinning was fixed by the 0.12 release, now 0.12.2 is released.

Currently, Haskell Language Server Nix env development environment does not
work, so it is essentially impossible to develop HLS under NixOS,
HLS requirements of environment coerce on the stylish-haskell>=0.12
and looks at haskellPackages.stylish-haskell.

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Determined the impact on package closure size (by running nix path-info -S before and after)
  • Ensured that relevant documentation is up to date
  • Fits CONTRIBUTING.md.

r-ryantm and others added 30 commits August 3, 2020 12:46
the move to glibc 2.30 broke the build of this old package, fortunately
debian have a patch to fix it
this patch is actually included in the already-released oq 1.1.2, but we
can't upgrade to that because it requires crystal 0.35, which we don't
seem to have yet

enable for darwin
KDE/krdc@56a0222 renamed some
variables resulting in a build failure. The added patch renames the
variables in virt-manager-qt accordingly.
Isabelle uses Z3 in a non-forwards-compatible manner, as it needs to
consume the proof objects Z3 produces. Building Isabelle with newer Z3
causes errors when trying to build a session that depends on
HOL-Library. Try

$ isabelle jedit -l HOL-Library

Fixes NixOS#99399.
switch back to qt 5.12
This will additionally install the following files:
libEGL.so libGLESv2.so
libVkICD_mock_icd.so libvk_swiftshader.so libvulkan.so

libEGL.so and libGLESv2.so are required to fix our ANGLE support.
The rest should help with the Vulkan support (currently an experimental
feature that is disabled by default).
gebner and others added 5 commits October 11, 2020 12:25
The reason of the pinning was fixed by the 0.12 release, now 0.12.2 is released.

Currently, Haskell Language Server Nix env development environment does not
work, so it is essentially impossible to develop HLS under NixOS,
HLS requirements of environment coerce on the stylish-haskell>=0.12
and looks at haskellPackages.stylish-haskell.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment