head	1.3;
access;
symbols
	pkgsrc-2024Q1:1.2.0.4
	pkgsrc-2024Q1-base:1.2
	pkgsrc-2023Q4:1.2.0.2
	pkgsrc-2023Q4-base:1.2;
locks; strict;
comment	@# @;


1.3
date	2024.05.03.06.47.19;	author pho;	state dead;
branches;
next	1.2;
commitid	9h58ffHgS2KDkw8F;

1.2
date	2023.11.07.03.40.19;	author pho;	state Exp;
branches;
next	1.1;
commitid	i9sDHVIwsDhe1DLE;

1.1
date	2023.11.06.17.17.51;	author pho;	state Exp;
branches;
next	;
commitid	pJSwne1IrMrGzzLE;


desc
@@


1.3
log
@lang/idris2: Update to 0.7.0

Release notes are too long to paste here:
https://github.com/idris-lang/Idris2/blob/27780073c8631826d846499840b3857d9b9a4fd5/CHANGELOG.md
@
text
@$NetBSD: patch-src_Core_Options.idr,v 1.2 2023/11/07 03:40:19 pho Exp $

Add DESTDIR support. Already done in upstream Git HEAD.

--- src/Core/Options.idr.orig	2022-10-27 15:43:33.000000000 +0000
+++ src/Core/Options.idr
@@@@ -22,6 +22,7 @@@@ record Dirs where
   build_dir : String -- build directory, relative to working directory
   depends_dir : String -- local dependencies directory, relative to working directory
   output_dir : Maybe String -- output directory, relative to working directory
+  stage_dir : Maybe String -- staged installation directory
   prefix_dir : String -- installation prefix, for finding data files (e.g. run time support)
   extra_dirs : List String -- places to look for import files
   package_dirs : List String -- places to look for packages
@@@@ -38,12 +39,13 @@@@ outputDirWithDefault d = fromMaybe (buil
 
 public export
 toString : Dirs -> String
-toString d@@(MkDirs wdir sdir bdir ldir odir dfix edirs pdirs ldirs ddirs) = """
+toString d@@(MkDirs wdir sdir bdir ldir odir ddir dfix edirs pdirs ldirs ddirs) = """
   + Working Directory      :: \{ show wdir }
   + Source Directory       :: \{ show sdir }
   + Build Directory        :: \{ show bdir }
   + Local Depend Directory :: \{ show ldir }
   + Output Directory       :: \{ show $ outputDirWithDefault d }
+  + Stage Directory        :: \{ show ddir }
   + Installation Prefix    :: \{ show dfix }
   + Extra Directories      :: \{ show edirs }
   + Package Directories    :: \{ show pdirs }
@@@@ -210,7 +212,7 @@@@ getCG o cg = lookup (toLower cg) (availa
 
 defaultDirs : Dirs
 defaultDirs = MkDirs "." Nothing "build" "depends" Nothing
-                     "/usr/local" ["."] [] [] []
+                     Nothing "/usr/local" ["."] [] [] []
 
 defaultPPrint : PPrinter
 defaultPPrint = MkPPOpts False False True False
@


1.2
log
@lang/idris2: Add upstream URLs to patches
@
text
@d1 1
a1 1
$NetBSD: patch-src_Core_Options.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
@


1.1
log
@lang/idris2: import idris2-0.6.0

Idris is a programming language designed to encourage Type-Driven
Development.

In type-driven development, types are tools for constructing programs. We
treat the type as the plan for a program, and use the compiler and type
checker as our assistant, guiding us to a complete program that satisfies
the type. The more expressive the type is that we give up front, the more
confidence we can have that the resulting program will be correct.

In Idris, types are first-class constructs in the langauge. This means
types can be passed as arguments to functions, and returned from functions
just like any other value, such as numbers, strings, or lists. This is a
small but powerful idea, enabling:

* relationships to be expressed between values; for example, that two lists
  have the same length.

* assumptions to be made explicit and checked by the compiler. For example,
  if you assume that a list is non-empty, Idris can ensure this assumption
  always holds before the program is run.

* if desired, properties of program behaviour to be formally stated and
  proven.
@
text
@d1 1
a1 1
$NetBSD$
d3 1
a3 4
Hunk #0, #1, #2:
  Add DESTDIR support.

  TODO: Upstream this
@