Unverified Commit 5dd1eee8 authored by Thiago Kenji Okada's avatar Thiago Kenji Okada Committed by GitHub
Browse files

Merge pull request #208750 from wegank/ats2-darwin 

ats2: add darwin support
parents 0aefadec cbee9d79

pkgs/development/compilers/ats2/default.nix

+10 −1
Original line number Diff line number Diff line
@@ -34,12 +34,21 @@ stdenv.mkDerivation rec { 
    hash = "sha256-UWgDjFojPBYgykrCrJyYvVWY+Gc5d4aRGjTWjc528AM=";

  };



  postPatch = lib.optionalString stdenv.cc.isClang ''

    sed -i 's/gcc/clang/g' utils/*/DATS/atscc_util.dats

  '';



  buildInputs = [ gmp ];



  # Disable parallel build, errors:

  #  *** No rule to make target 'patscc.dats', needed by 'patscc_dats.c'.  Stop.

  enableParallelBuilding = false;



  makeFlags = [

    "CC=${stdenv.cc.targetPrefix}cc"

    "CCOMP=${stdenv.cc.targetPrefix}cc"

  ];



  setupHook = with lib;

    let

      hookFiles =
@@ -55,7 +64,7 @@ stdenv.mkDerivation rec { 
    description = "Functional programming language with dependent types";

    homepage    = "http://www.ats-lang.org";

    license     = licenses.gpl3Plus;

    platforms   = platforms.linux;

    platforms   = platforms.unix;

    maintainers = with maintainers; [ thoughtpolice ttuegel bbarker ];

  };

}

pkgs/development/tools/ats-acc/default.nix

+5 −0
Original line number Diff line number Diff line
@@ -11,6 +11,11 @@ stdenv.mkDerivation rec { 
    sha256 = "sha256-Wp39488YNL40GKp4KaJwhi75PsYP+gMtrZqAvs4Q/sw=";

  };



  postPatch = ''

    substituteInPlace Makefile \

      --replace "mv acc \''$(PATSHOME)/bin/" "install -Dm755 acc ${placeholder "out"}/bin/"

  '';



  nativeBuildInputs = [ ats2 ];



  meta = with lib; {