anchor.diff:      '';
       homepage = "https://github.com/lf-lang/lingua-franca";
       license = licenses.bsd2;
  -    platforms = platforms.all;
  +    platforms = platforms.linux;
       maintainers = with maintainers; [ revol-xut ];
     };
   }
  
positive.code: { lib, pkgs, stdenv, jdk11_headless }:
  stdenv.mkDerivation {
    name = "lfc";
    version = "0.1.0";
  
    src = fetchGit {
      url = "https://github.com/revol-xut/lingua-franca-nix-releases.git";
      rev = "11c6d5297cd63bf0b365a68c5ca31ec80083bd05";
      ref = "master";
    };
  
    buildInputs = [ jdk11_headless ];
  
negative.code:   postPatch = ''
      substituteInPlace bin/lfc \
        --replace 'base=`dirname $(dirname ''${abs_path})`' "base='$out'" \
        --replace "run_lfc_with_args" "${jdk11_headless}/bin/java -jar $out/lib/jars/org.lflang.lfc-0.1.0-SNAPSHOT-all.jar"
    '';
  
    installPhase = ''
  