anchor.diff:    installPhase = ''
       runHook preInstall
   
  -    idris --install ${ipkgName}.ipkg --ibcsubdir $out/libs
  +    idris --install ${ipkgName}.ipkg --ibcsubdir $out/libs ${lib.escapeShellArgs idrisInstallOptions}
   
  -    IDRIS_DOC_PATH=$out/doc idris --installdoc ${ipkgName}.ipkg || true
  +    IDRIS_DOC_PATH=$out/doc idris --installdoc ${ipkgName}.ipkg ${lib.escapeShellArgs idrisDocOptions} || true
   
       # If the ipkg file defines an executable, install that
       executable=$(grep -Po '^executable = \K.*' ${ipkgName}.ipkg || true)
  
positive.code: 
    buildPhase = ''
      runHook preBuild
      idris --build ${ipkgName}.ipkg
      runHook postBuild
    '';
  
    checkPhase = ''
      runHook preCheck
      if grep -q tests ${ipkgName}.ipkg; then
        idris --testpkg ${ipkgName}.ipkg
      fi
      runHook postCheck
    '';
  
negative.code:   , version
    , ipkgName ? name
    , extraBuildInputs ? []
    , idrisBuildOptions ? []
    , idrisTestOptions ? []
    , idrisInstallOptions ? []
    , idrisDocOptions ? []
    , ...
    }@attrs:
  let
  