head	1.1;
access;
symbols
	pkgsrc-2026Q1:1.1.0.50
	pkgsrc-2026Q1-base:1.1
	pkgsrc-2025Q4:1.1.0.48
	pkgsrc-2025Q4-base:1.1
	pkgsrc-2025Q3:1.1.0.46
	pkgsrc-2025Q3-base:1.1
	pkgsrc-2025Q2:1.1.0.44
	pkgsrc-2025Q2-base:1.1
	pkgsrc-2025Q1:1.1.0.42
	pkgsrc-2025Q1-base:1.1
	pkgsrc-2024Q4:1.1.0.40
	pkgsrc-2024Q4-base:1.1
	pkgsrc-2024Q3:1.1.0.38
	pkgsrc-2024Q3-base:1.1
	pkgsrc-2024Q2:1.1.0.36
	pkgsrc-2024Q2-base:1.1
	pkgsrc-2024Q1:1.1.0.34
	pkgsrc-2024Q1-base:1.1
	pkgsrc-2023Q4:1.1.0.32
	pkgsrc-2023Q4-base:1.1
	pkgsrc-2023Q3:1.1.0.30
	pkgsrc-2023Q3-base:1.1
	pkgsrc-2023Q2:1.1.0.28
	pkgsrc-2023Q2-base:1.1
	pkgsrc-2023Q1:1.1.0.26
	pkgsrc-2023Q1-base:1.1
	pkgsrc-2022Q4:1.1.0.24
	pkgsrc-2022Q4-base:1.1
	pkgsrc-2022Q3:1.1.0.22
	pkgsrc-2022Q3-base:1.1
	pkgsrc-2022Q2:1.1.0.20
	pkgsrc-2022Q2-base:1.1
	pkgsrc-2022Q1:1.1.0.18
	pkgsrc-2022Q1-base:1.1
	pkgsrc-2021Q4:1.1.0.16
	pkgsrc-2021Q4-base:1.1
	pkgsrc-2021Q3:1.1.0.14
	pkgsrc-2021Q3-base:1.1
	pkgsrc-2021Q2:1.1.0.12
	pkgsrc-2021Q2-base:1.1
	pkgsrc-2021Q1:1.1.0.10
	pkgsrc-2021Q1-base:1.1
	pkgsrc-2020Q4:1.1.0.8
	pkgsrc-2020Q4-base:1.1
	pkgsrc-2020Q3:1.1.0.6
	pkgsrc-2020Q3-base:1.1
	pkgsrc-2020Q2:1.1.0.4
	pkgsrc-2020Q2-base:1.1
	pkgsrc-2020Q1:1.1.0.2
	pkgsrc-2020Q1-base:1.1;
locks; strict;
comment	@# @;


1.1
date	2020.01.20.23.32.38;	author pho;	state Exp;
branches;
next	;
commitid	iiGEKIvOgEEpcuTB;


desc
@@


1.1
log
@Import idris-1.3.2

Idris is a general purpose language with full dependent types. It is
compiled, with eager evaluation. Dependent types allow types to be
predicated on values, meaning that some aspects of a program's
behaviour can be specified precisely in the type. The language is
closely related to Epigram and Agda. There is a tutorial at
http://www.idris-lang.org/documentation
@
text
@$NetBSD$

Don't set executable bit on non-executables.

--- rts/Makefile.orig	2020-01-20 16:54:53.742728926 +0000
+++ rts/Makefile
@@@@ -31,7 +31,7 @@@@ $(LIBTARGET) : $(OBJS)
 
 install :
 	mkdir -p $(TARGET)
-	install $(LIBTARGET) $(HDRS) $(TARGET)
+	install -m644 $(LIBTARGET) $(HDRS) $(TARGET)
 
 clean :
 	rm -f $(OBJS) $(LIBTARGET) $(DYLIBTARGET)
@