head 1.16; access; symbols pkgsrc-2023Q4:1.16.0.4 pkgsrc-2023Q4-base:1.16 pkgsrc-2023Q3:1.16.0.2 pkgsrc-2023Q3-base:1.16 pkgsrc-2023Q2:1.15.0.2 pkgsrc-2023Q2-base:1.15 pkgsrc-2023Q1:1.14.0.4 pkgsrc-2023Q1-base:1.14 pkgsrc-2022Q4:1.14.0.2 pkgsrc-2022Q4-base:1.14 pkgsrc-2022Q3:1.13.0.8 pkgsrc-2022Q3-base:1.13 pkgsrc-2022Q2:1.13.0.6 pkgsrc-2022Q2-base:1.13 pkgsrc-2022Q1:1.13.0.4 pkgsrc-2022Q1-base:1.13 pkgsrc-2021Q4:1.13.0.2 pkgsrc-2021Q4-base:1.13 pkgsrc-2021Q3:1.12.0.14 pkgsrc-2021Q3-base:1.12 pkgsrc-2021Q2:1.12.0.12 pkgsrc-2021Q2-base:1.12 pkgsrc-2021Q1:1.12.0.10 pkgsrc-2021Q1-base:1.12 pkgsrc-2020Q4:1.12.0.8 pkgsrc-2020Q4-base:1.12 pkgsrc-2020Q3:1.12.0.6 pkgsrc-2020Q3-base:1.12 pkgsrc-2020Q2:1.12.0.4 pkgsrc-2020Q2-base:1.12 pkgsrc-2020Q1:1.12.0.2 pkgsrc-2020Q1-base:1.12 pkgsrc-2019Q4:1.11.0.14 pkgsrc-2019Q4-base:1.11 pkgsrc-2019Q3:1.11.0.10 pkgsrc-2019Q3-base:1.11 pkgsrc-2019Q2:1.11.0.8 pkgsrc-2019Q2-base:1.11 pkgsrc-2019Q1:1.11.0.6 pkgsrc-2019Q1-base:1.11 pkgsrc-2018Q4:1.11.0.4 pkgsrc-2018Q4-base:1.11 pkgsrc-2018Q3:1.11.0.2 pkgsrc-2018Q3-base:1.11 pkgsrc-2018Q2:1.10.0.36 pkgsrc-2018Q2-base:1.10 pkgsrc-2018Q1:1.10.0.34 pkgsrc-2018Q1-base:1.10 pkgsrc-2017Q4:1.10.0.32 pkgsrc-2017Q4-base:1.10 pkgsrc-2017Q3:1.10.0.30 pkgsrc-2017Q3-base:1.10 pkgsrc-2017Q2:1.10.0.26 pkgsrc-2017Q2-base:1.10 pkgsrc-2017Q1:1.10.0.24 pkgsrc-2017Q1-base:1.10 pkgsrc-2016Q4:1.10.0.22 pkgsrc-2016Q4-base:1.10 pkgsrc-2016Q3:1.10.0.20 pkgsrc-2016Q3-base:1.10 pkgsrc-2016Q2:1.10.0.18 pkgsrc-2016Q2-base:1.10 pkgsrc-2016Q1:1.10.0.16 pkgsrc-2016Q1-base:1.10 pkgsrc-2015Q4:1.10.0.14 pkgsrc-2015Q4-base:1.10 pkgsrc-2015Q3:1.10.0.12 pkgsrc-2015Q3-base:1.10 pkgsrc-2015Q2:1.10.0.10 pkgsrc-2015Q2-base:1.10 pkgsrc-2015Q1:1.10.0.8 pkgsrc-2015Q1-base:1.10 pkgsrc-2014Q4:1.10.0.6 pkgsrc-2014Q4-base:1.10 pkgsrc-2014Q3:1.10.0.4 pkgsrc-2014Q3-base:1.10 pkgsrc-2014Q2:1.10.0.2 pkgsrc-2014Q2-base:1.10 pkgsrc-2014Q1:1.8.0.14 pkgsrc-2014Q1-base:1.8 pkgsrc-2013Q4:1.8.0.12 pkgsrc-2013Q4-base:1.8 pkgsrc-2013Q3:1.8.0.10 pkgsrc-2013Q3-base:1.8 pkgsrc-2013Q2:1.8.0.8 pkgsrc-2013Q2-base:1.8 pkgsrc-2013Q1:1.8.0.6 pkgsrc-2013Q1-base:1.8 pkgsrc-2012Q4:1.8.0.4 pkgsrc-2012Q4-base:1.8 pkgsrc-2012Q3:1.8.0.2 pkgsrc-2012Q3-base:1.8 pkgsrc-2012Q2:1.6.0.4 pkgsrc-2012Q2-base:1.6 pkgsrc-2012Q1:1.6.0.2 pkgsrc-2012Q1-base:1.6 pkgsrc-2011Q4:1.5.0.18 pkgsrc-2011Q4-base:1.5 pkgsrc-2011Q3:1.5.0.16 pkgsrc-2011Q3-base:1.5 pkgsrc-2011Q2:1.5.0.14 pkgsrc-2011Q2-base:1.5 pkgsrc-2011Q1:1.5.0.12 pkgsrc-2011Q1-base:1.5 pkgsrc-2010Q4:1.5.0.10 pkgsrc-2010Q4-base:1.5 pkgsrc-2010Q3:1.5.0.8 pkgsrc-2010Q3-base:1.5 pkgsrc-2010Q2:1.5.0.6 pkgsrc-2010Q2-base:1.5 pkgsrc-2010Q1:1.5.0.4 pkgsrc-2010Q1-base:1.5 pkgsrc-2009Q4:1.5.0.2 pkgsrc-2009Q4-base:1.5 pkgsrc-2009Q3:1.3.0.4 pkgsrc-2009Q3-base:1.3 pkgsrc-2009Q2:1.3.0.2 pkgsrc-2009Q2-base:1.3 pkgsrc-2009Q1:1.1.1.1.0.8 pkgsrc-2009Q1-base:1.1.1.1 pkgsrc-2008Q4:1.1.1.1.0.6 pkgsrc-2008Q4-base:1.1.1.1 pkgsrc-2008Q3:1.1.1.1.0.4 pkgsrc-2008Q3-base:1.1.1.1 cube-native-xorg:1.1.1.1.0.2 cube-native-xorg-base:1.1.1.1 pkgsrc-base:1.1.1.1 TNF:1.1.1; locks; strict; comment @# @; 1.16 date 2023.08.02.19.21.55; author nia; state Exp; branches; next 1.15; commitid 2U2KeD5hkifslfzE; 1.15 date 2023.06.06.12.41.51; author riastradh; state Exp; branches; next 1.14; commitid xhspr6Z8JLQOWSrE; 1.14 date 2022.12.21.15.43.30; author wiz; state Exp; branches; next 1.13; commitid tSnTPnCNTJQVkr6E; 1.13 date 2021.12.08.16.05.35; author adam; state Exp; branches; next 1.12; commitid 2PyWjHx5T8rqARjD; 1.12 date 2020.03.08.16.42.30; author bsiegert; state Exp; branches; next 1.11; commitid zwKxhaUg2qJlnCZB; 1.11 date 2018.07.18.00.06.21; author joerg; state Exp; branches; next 1.10; commitid 9fkLzQuPlqFC7yKA; 1.10 date 2014.04.30.14.19.42; author wiz; state Exp; branches; next 1.9; commitid vhddjEulMo0OlIyx; 1.9 date 2014.04.21.13.25.54; author wiz; state Exp; branches; next 1.8; commitid dohjI5BPYEx2lyxx; 1.8 date 2012.09.15.10.05.32; author obache; state Exp; branches; next 1.7; 1.7 date 2012.09.11.23.04.25; author asau; state Exp; branches; next 1.6; 1.6 date 2012.03.23.21.20.46; author asau; state Exp; branches; next 1.5; 1.5 date 2009.12.16.01.58.08; author asau; state Exp; branches; next 1.4; 1.4 date 2009.12.16.01.54.13; author asau; state Exp; branches; next 1.3; 1.3 date 2009.04.18.11.17.33; author asau; state Exp; branches; next 1.2; 1.2 date 2009.04.10.05.21.59; author asau; state Exp; branches; next 1.1; 1.1 date 2008.08.28.20.08.18; author ahoka; state Exp; branches 1.1.1.1; next ; 1.1.1.1 date 2008.08.28.20.08.18; author ahoka; state Exp; branches; next ; desc @@ 1.16 log @*: Mark packages that were originally identified as requiring C++03 due to failing to build with a C++14 default compiler with FORCE_CXX_STD instead of USE_LANGUAGES. @ text @# $NetBSD: Makefile,v 1.15 2023/06/06 12:41:51 riastradh Exp $ DISTNAME= open-axiom-1.4.1 PKGNAME= ${DISTNAME:S/open-/open/} PKGREVISION= 5 CATEGORIES= math MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=open-axiom/} EXTRACT_SUFX= .tar.bz2 MAINTAINER= asau@@inbox.ru HOMEPAGE= http://www.open-axiom.org/ COMMENT= Platform for symbolic, algebraic, and numerical computations MAKE_JOBS_SAFE= no USE_LANGUAGES= c c++ GNU_CONFIGURE= yes USE_TOOLS+= gmake makeinfo awk:run TOOL_DEPENDS+= noweb-[0-9]*:../../devel/noweb CONFIGURE_ENV= HOST_AWK=${TOOLS_PLATFORM.awk:Q} BUILD_MAKE_FLAGS+= TOOLS_PLATFORM.install=${TOOLS_PLATFORM.install:Q} # Fails with C++14 default language FORCE_CXX_STD= c++03 # XXX: these files are not PIE CHECK_PIE_SKIP+= lib/open-axiom/*/${PKGVERSION_NOREV}/bin/AXIOMsys CHECK_PIE_SKIP+= lib/open-axiom/*/${PKGVERSION_NOREV}/bin/bootsys .include "options.mk" .include "../../mk/bsd.pkg.mk" @ 1.15 log @Mass-change BUILD_DEPENDS to TOOL_DEPENDS outside mk/. Almost all uses, if not all of them, are wrong, according to the semantics of BUILD_DEPENDS (packages built for target available for use _by_ tools at build-time) and TOOL_DEPEPNDS (packages built for host available for use _as_ tools at build-time). No change to BUILD_DEPENDS as used correctly inside buildlink3. As proposed on tech-pkg: https://mail-index.netbsd.org/tech-pkg/2023/06/03/msg027632.html @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.14 2022/12/21 15:43:30 wiz Exp $ d16 1 a16 1 USE_LANGUAGES= c c++03 d24 3 @ 1.14 log @openaxiom: mark two files as not PIE If you know how to fix this, please do so. But this allows openaxiom to package. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.13 2021/12/08 16:05:35 adam Exp $ d19 1 a19 1 BUILD_DEPENDS+= noweb-[0-9]*:../../devel/noweb @ 1.13 log @revbump for icu and libffi @ text @d1 1 a1 2 # $NetBSD: Makefile,v 1.12 2020/03/08 16:42:30 bsiegert Exp $ # d24 4 @ 1.12 log @Revbump packages depending on libffi after .so version change. Requested by Matthias Ferdinand and Oskar on pkgsrc-users. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.11 2018/07/18 00:06:21 joerg Exp $ d6 1 a6 1 PKGREVISION= 4 @ 1.11 log @Mark packages that require C++03 (or the GNU variants) if they fail with C++14 default language. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.10 2014/04/30 14:19:42 wiz Exp $ d6 1 a6 1 PKGREVISION= 3 @ 1.10 log @Bump PKGREVISION for boehm-gc default-on threads, just to be on the safe side. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.9 2014/04/21 13:25:54 wiz Exp $ d17 1 a17 1 USE_LANGUAGES= c c++ @ 1.9 log @recursive bump for boehm-gc API bump @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.8 2012/09/15 10:05:32 obache Exp $ d6 1 a6 1 PKGREVISION= 2 @ 1.8 log @recursive bump from libffi shlib major bump (additionaly, reset PKGREVISION of qt4-* sub packages from base qt4 update) @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.7 2012/09/11 23:04:25 asau Exp $ d6 1 a6 1 PKGREVISION= 1 @ 1.7 log @"user-destdir" is default these days @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.6 2012/03/23 21:20:46 asau Exp $ d6 1 @ 1.6 log @Update to OpenAxiom 1.4.1 Changes in OpenAxiom-1.4.1 Algebra The domain ScriptFormulaFormat and the package ScriptFormulaFormat1 have been removed. Changes in OpenAxiom-1.4.0 This release introduces the following changes from the base document ("AXIOM: The Scientific Computation System" by Jenks and Sutor). Compiler * The compiler now accepts interpreter-style unnamed functions. * The compiler now generate far better (Lisp) codes for Spad libraries or scripts. The compiler now applies more aggressive (but sound) optimizations, including domain inlining, type propagations. * The compiler now accepts interpreter-style unnamed functions. * Parameterized macros are now supported by the compiler. * The compiler now support exception handling. In particular, the try/finally programming construct was added to support reliable resource management (e.g. opening/closing or creating/removing files.) Algebra In addition to novelties in OpenAxiom-1.3.0, the following types have been added to OpenAxiom-1.4.0: * The category BooleanLogic has been added. It is now extended by PropositionalLogic and BitAggregate. The domain SingleInteger now satisfies BooleanLogic. * It it now possible to obtain the string representation of a DoubleFloat value. The function string: DoubleFloat -> % was added to the domain String * A function matrix is now exported by the category MatrixCategory to allow construction of matrices whose entries can be succinctely described by a function. For instance, the 4-by-4 Hilbert matrix may be expressed as m: Matrix Fraction Integer := matrix(4,4,(i,j) +-> 1/(i+j)) Note that the third argument is a function that computes the value of the (i,j)th entry. * The category StringCategory was removed as it was essentially redundant with the category StringAggregate. * The category MappingCategory is now part of the algebra as a builtin category constructor. * The following operators less?: (%,NonNegativeInteger) -> Boolean more?: (%,NonNegativeInteger) -> Boolean size?: (%,NonNegativeInteger) -> Boolean have been moved from the category Aggregate to StreamAggregate where they seem more appropriate. * The domain InnerTaylorSeries now satisfies the category BiModule. * The domains FreeModule and OrderedFreeMonoid now satisfy the newly added FreeMonoidCategory. * The list of domains for OpenAxiom program manipulation has been expanded. * Support for range and segment bindings now includes RangeBinding. Boot Boot, the programming language used to write the OpenAxiom compiler, has been vastly improved. Lisp codes are being phased out. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.5 2009/12/16 01:58:08 asau Exp $ a13 1 PKG_DESTDIR_SUPPORT= user-destdir @ 1.5 log @Dragonfly hack is no longer needed. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.4 2009/12/16 01:54:13 asau Exp $ d4 1 a4 1 DISTNAME= open-axiom-1.3.0 d17 1 @ 1.4 log @Update to OpenAxiom 1.3.0 Changes since previous release: Compiler - The compiler now treats ^ as alias for **. - The compiler now rejects ambiguous left hand sides of definitions where parameter types are left out for inference. Previously, the compiler would pick the first signature from some mostly random order, with a warning. - For categories with default implementations, the compiler can be directed to compile only the purely category part (exports), or only the default implementations (category packages). - The compiler now supports a Foreign Function Interface. In particular, signatures for external entities may be declared at capsule level. Currently, only ISO C functions are supported, but future releases may support ISO C++ and other mainstream languages. - The parsing of signature for operators has been improved. Previously, operator names needed to be quoted in signature. That is not longer needed. For instance, previously, one had to write (at category level) "*": (%,%) -> % _/_\: (%,%) -> % _not: % -> % With this release of OpenAxiom and onward, one can simply write *: (%,%) -> % /\: (%,%) -> % not: % -> % which is much simpler to read, write, and much more regular. - The compiler now supports is-case pattern matching. The new pattern matching syntax is useful for structuring retractions, and also for domain recovery from expressions of type Any. - The compiler now supports the loop control transfer operator iterate in repeat loops - previously, the construct was accepted only in scripts (not libraries). That discrepency is now ended. Interpreter - Declared variable with no specified values are now handled as if symbolic value with a specified type. - The interpreter now parses a disjunctive expression involving the 'is' operator the obvious way. E.g. Now T is Integer or T has Ring is now understood as (T is Integer) or (T has Ring) - The interpreter now handles existentially quantified or universally quantified expressions Algebra The following types have been added to OpenAxiom-1.3.0 - The domain Boolean and category BitAggregate no longer export the operation ^ for logical negation. Use the operator not which is the canonical and documented operator. - The domain InputForm now has a new exported signature parseString: String -> % for parsing expressions given as string. - The domain Boolean now belongs to the category OrderedFinite. - The domain KleeneTrivalentLogic is added. It implements Stephen Kleene's 3-valued propositional logic. - For file orinted I/O, new domains have been added: + IOMode: This domains defines three constants to indicate the direction of file I/O operations. + InputBinaryFile: This domains implements the basic input operations on binary files. + OutputBinaryFile: This domains implements the basic output operations on binary files. - The domain BinaryFile has been replaced by three specific domains: + InputBinaryFile: datatype for input file open in binary mode; + OutputBinaryFile: datatype for output file open in binary mode; + InputOutputBinaryFile: datatype for input and output file open in binary mode. - Three new categories are introduced, related to conversions: + CoercibleFrom: This category is the mirror image of the standard category CoercibleTo. + HomotopicTo: This category is the symmetrization of the category CoercibleTo. + ConvertibleFrom: This category is the mirror image of ConvertibleTo. - Previous releases defined instantiations of the domain constructor Expression as satisfying the category OrderedSet. That was both confusing and incorrect in conjunction with other algebraic structures. From now on, Expression(T) no longer satisfies OrderedSet. - Three new categories have been added: + LeftLinearSet + RightLinearSet + LinearSet The category AbelianGroup extends LeftLinearSet Integer. The parameterized category constructor LeftModule extends LeftLinearSet. Similarly, the category RightModule extends RightLinearSet. - The domain Any has been reworked. In particular, the operation domainOf, objectOf, and showTypeInOutput have been removed. Equality of two objects of domain Any is equality according to the underlying domain, if that domain belongs to the category BasicType; otherwise, it is equality of storage locations. Runtime System The Lisp backend now uses type information derived from exports and domain representation for code generation purposes. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.3 2009/04/18 11:17:33 asau Exp $ a25 6 SUBST_CLASSES+= dragonfly SUBST_STAGE.dragonfly= post-patch SUBST_MESSAGE.dragonfly= Fixing BSD Family pattern SUBST_FILES.dragonfly+= configure SUBST_SED.dragonfly= -e 's/\*bsd\*)/*bsd*|*dragonfly*)/' @ 1.3 log @ Don't depend on Fortran. CLISP and SBCL are build dependencies. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.2 2009/04/10 05:21:59 asau Exp $ d4 1 a4 1 DISTNAME= open-axiom-1.2.1 a5 1 PKGREVISION= 1 @ 1.2 log @ Update to OpenAxiom 1.2.1. This is a minor bug fix and cleanup release. pkgsrc changes: don't require gawk, add Dragonfly support. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.1.1.1 2008/08/28 20:08:18 ahoka Exp $ d6 1 a19 1 USE_LANGUAGES+= fortran @ 1.1 log @Initial revision @ text @d1 1 a1 1 # $NetBSD$ d4 1 a4 1 DISTNAME= open-axiom-1.2.0 d18 1 a18 1 USE_TOOLS+= gmake gawk makeinfo d22 1 d27 5 a31 2 pre-configure: ${RUN} cd ${WRKSRC} && ./build-setup.sh @ 1.1.1.1 log @Import openaxiom-1.2.0 as math/openaxiom. Packaged by Aleksej Saushev through the pkgsrc-wip project. OpenAxiom is an open source platform for symbolic, algebraic, and numerical computations. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. OpenAxiom strives to support ubiquitous, advanced, high quality open source computer algebra on major operating systems, in particular major Unix variants, GNU/Linux variants, Windows, and handheld devices. It aims at being the open source computer algebra system of choice for research, teaching, engineering, etc. @ text @@