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-Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ Hunk #0: Don't try to use modules from base until it's built. https://github.com/idris-lang/Idris2/pull/3135 Hunk #1-#2: Support DESTDIR. Already done in upstream Git HEAD. --- Makefile.orig 2022-10-27 15:43:33.000000000 +0000 +++ Makefile @@@@ -86,7 +86,7 @@@@ contrib: base test-lib: contrib ${MAKE} -C libs/test IDRIS2=${TARGET} IDRIS2_INC_CGS=${IDRIS2_CG} IDRIS2_PATH=${IDRIS2_BOOT_PATH} -linear: prelude +linear: prelude base ${MAKE} -C libs/linear IDRIS2=${TARGET} IDRIS2_INC_CGS=${IDRIS2_CG} IDRIS2_PATH=${IDRIS2_BOOT_PATH} papers: contrib linear @@@@ -192,25 +192,25 @@@@ install-with-src-api: src/IdrisPaths.idr ${IDRIS2_BOOT} --install-with-src ${IDRIS2_LIB_IPKG} install-idris2: - mkdir -p ${PREFIX}/bin/ - install ${TARGET} ${PREFIX}/bin + mkdir -p ${DESTDIR}${PREFIX}/bin/ + install ${TARGET} ${DESTDIR}${PREFIX}/bin ifeq ($(OS), windows) - -install ${TARGET}.cmd ${PREFIX}/bin + -install ${TARGET}.cmd ${DESTDIR}${PREFIX}/bin endif - mkdir -p ${PREFIX}/lib/ - install support/c/${IDRIS2_SUPPORT} ${PREFIX}/lib - mkdir -p ${PREFIX}/bin/${NAME}_app - install ${TARGETDIR}/${NAME}_app/* ${PREFIX}/bin/${NAME}_app + mkdir -p ${DESTDIR}${PREFIX}/lib/ + install support/c/${IDRIS2_SUPPORT} ${DESTDIR}${PREFIX}/lib + mkdir -p ${DESTDIR}${PREFIX}/bin/${NAME}_app + install ${TARGETDIR}/${NAME}_app/* ${DESTDIR}${PREFIX}/bin/${NAME}_app install-support: - mkdir -p ${PREFIX}/${NAME_VERSION}/support/docs - mkdir -p ${PREFIX}/${NAME_VERSION}/support/racket - mkdir -p ${PREFIX}/${NAME_VERSION}/support/gambit - mkdir -p ${PREFIX}/${NAME_VERSION}/support/js - install -m 644 support/docs/*.css ${PREFIX}/${NAME_VERSION}/support/docs - install -m 644 support/racket/* ${PREFIX}/${NAME_VERSION}/support/racket - install -m 644 support/gambit/* ${PREFIX}/${NAME_VERSION}/support/gambit - install -m 644 support/js/* ${PREFIX}/${NAME_VERSION}/support/js + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/docs + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/racket + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/gambit + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/js + install -m 644 support/docs/*.css ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/docs + install -m 644 support/racket/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/racket + install -m 644 support/gambit/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/gambit + install -m 644 support/js/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/js @@${MAKE} -C support/c install @@${MAKE} -C support/refc install @@${MAKE} -C support/chez install @@@@ -234,19 +234,19 @@@@ install-with-src-libs: ${MAKE} -C libs/linear install-with-src IDRIS2=${TARGET} IDRIS2_PATH=${IDRIS2_BOOT_PATH} IDRIS2_INC_CGS=${IDRIS2_CG} install-libdocs: libdocs - mkdir -p ${PREFIX}/${NAME_VERSION}/docs/prelude - mkdir -p ${PREFIX}/${NAME_VERSION}/docs/base - mkdir -p ${PREFIX}/${NAME_VERSION}/docs/contrib - mkdir -p ${PREFIX}/${NAME_VERSION}/docs/network - mkdir -p ${PREFIX}/${NAME_VERSION}/docs/test - mkdir -p ${PREFIX}/${NAME_VERSION}/docs/linear - cp -r libs/prelude/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/prelude - cp -r libs/base/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/base - cp -r libs/contrib/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/contrib - cp -r libs/network/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/network - cp -r libs/test/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/test - cp -r libs/test/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/linear - install -m 644 support/docs/* ${PREFIX}/${NAME_VERSION}/docs + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/prelude + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/base + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/contrib + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/network + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/test + mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/linear + cp -r libs/prelude/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/prelude + cp -r libs/base/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/base + cp -r libs/contrib/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/contrib + cp -r libs/network/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/network + cp -r libs/test/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/test + cp -r libs/test/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/linear + install -m 644 support/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs .PHONY: bootstrap bootstrap-build bootstrap-racket bootstrap-racket-build bootstrap-test bootstrap-clean @ 1.2 log @lang/idris2: Add upstream URLs to patches @ text @d1 1 a1 1 $NetBSD: patch-Makefile,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 3 a5 1 Don't try to use modules from base until it's built. d7 2 a8 1 TODO: Upstream this. @