Commit 99ee7fd3 authored by Gabriel Ebner's avatar Gabriel Ebner
Browse files

elan: add leanchecker proxy

parent 96512b97

pkgs/applications/science/logic/elan/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -22,7 +22,7 @@ rustPlatform.buildRustPackage rec { 
  postInstall = ''

    pushd $out/bin

    mv elan-init elan

    for link in lean leanpkg; do

    for link in lean leanpkg leanchecker; do

      ln -s elan $link

    done

    popd