head 1.6; access; symbols pkgsrc-2017Q4:1.5.0.18 pkgsrc-2017Q4-base:1.5 pkgsrc-2017Q3:1.5.0.16 pkgsrc-2017Q3-base:1.5 pkgsrc-2017Q2:1.5.0.12 pkgsrc-2017Q2-base:1.5 pkgsrc-2017Q1:1.5.0.10 pkgsrc-2017Q1-base:1.5 pkgsrc-2016Q4:1.5.0.8 pkgsrc-2016Q4-base:1.5 pkgsrc-2016Q3:1.5.0.6 pkgsrc-2016Q3-base:1.5 pkgsrc-2016Q2:1.5.0.4 pkgsrc-2016Q2-base:1.5 pkgsrc-2016Q1:1.5.0.2 pkgsrc-2016Q1-base:1.5 pkgsrc-2015Q4:1.3.0.2 pkgsrc-2015Q4-base:1.3 pkgsrc-2013Q2:1.2.0.2 pkgsrc-2013Q2-base:1.2 pkgsrc-2012Q4:1.1.0.4 pkgsrc-2012Q4-base:1.1 pkgsrc-2012Q3:1.1.0.2 pkgsrc-2012Q3-base:1.1; locks; strict; comment @# @; 1.6 date 2018.01.20.02.21.16; author sevan; state dead; branches; next 1.5; commitid b2oIazacf9LRCynA; 1.5 date 2016.03.15.19.49.43; author asau; state Exp; branches; next 1.4; commitid zlzNAkyjTnj59MYy; 1.4 date 2015.12.29.23.34.54; author dholland; state Exp; branches; next 1.3; commitid J5mAcuIF0darSTOy; 1.3 date 2015.12.18.01.10.14; author asau; state Exp; branches; next 1.2; commitid StBatMUsNbhfNmNy; 1.2 date 2013.02.10.01.54.26; author asau; state dead; branches; next 1.1; 1.1 date 2012.09.15.13.33.59; author marino; state Exp; branches; next ; desc @@ 1.6 log @Update to v6.11 * Typed Racket supports refinement types and dependent function types. Previously an experimental feature, refinement types allow types to describe more interesting properties of values, especially integers. For example, this type shows that the `max` function always produces a number at least as big as its inputs: `(-> ([x : Integer] [y : Integer]) (Refine [z : Integer] (and (>= z x) (>= z y))))` * DrRacket's Program Contour is significantly more efficient; using it no longer hurts DrRacket's interactivity. * The `web-server/formlets` library produces formlets that are serializable, facilitating dynamic uses of formlets in stateless #lang web-server servlets. The new `web-server/formlets/stateless` and `web-server/formlets/unsafe` libraries provide additional support with the same API. * The `db` library supports the Cassandra database. @ text @$NetBSD: patch-src_configure,v 1.5 2016/03/15 19:49:43 asau Exp $ --- src/configure.orig 2016-01-11 17:07:43.000000000 +0000 +++ src/configure @@@@ -3098,7 +3098,7 @@@@ if test "${enable_sysroot}" != "" ; then fi if test "${enable_racket}" != "" ; then - if test "${enable_racket}" == "auto" ; then + if test "${enable_racket}" = "auto" ; then echo "=== Creating and using local Racket executable" else echo "=== Using Racket executable ${enable_racket}" @@@@ -4662,7 +4662,7 @@@@ case "$host_os" in skip_iconv_check=yes check_for_mprotect=no # ".a" is typically not useful, since we always build a DLL: - if test "${enable_libs}" == "" ; then + if test "${enable_libs}" = "" ; then INSTALL_LIBS_ENABLE=no-install fi @@@@ -4717,7 +4717,7 @@@@ else has_winpthread=no fi - if test "${has_winpthread}" == "yes" ; then + if test "${has_winpthread}" = "yes" ; then LIBS="${LIBS} -Wl,-Bstatic -lwinpthread" fi case "$build_os" in @@@@ -4798,7 +4798,7 @@@@ fi try_poll_syscall=yes # ".a" is typically not useful, since we always build a ".dylib": - if test "${enable_libs}" == "" ; then + if test "${enable_libs}" = "" ; then INSTALL_LIBS_ENABLE=no-install fi @ 1.5 log @Update to Racket 6.4 Changes in Racket 6.4: - We fixed a security vulnerability in the web server. The existing web server is vulnerable to a navigation attack if it is also enabled to serve files statically; that is, any file readable by the web server is accessible remotely. For more information see http://blog.racket-lang.org/2016/02/racket-web-server-security-vulnerability.html - DrRacket's scrolling is faster. - Incremental garbage-collection mode can eliminate long pauses in a program. For example, incremental mode is useful for avoiding pauses in games and animations. Programs must specifically request incremental mode with `(collect-garbage 'incremental)`, but libraries such as `2htdp/universe` include the request as part of the library's implementation. - The default package catalog is an HTTPS address instead of HTTP, and package operations properly validate server certificates when using HTTPS. - Documentation may define their own categories for the manual top- level page by using strings, rather than only symbols that name pre-defined categories. - The Racket cheat sheet is included in the main distribution. - DrRacket is available in Bulgarian, thanks to Alexander Shopov. - The contract Typed Racket generates for the `Any` type is more permissive, allowing more typed/untyped programs to work without contract errors. - Redex supports binding specifications; describe which variables bind in which expressions and your metafunctions and reduction relations automatically become scope-sensitive. Thanks to Paul Stansifer for this improvement. - All `pict` functions accept `pict-convertible`s. This allows for transparent interoperability between `pict` and libraries like `2htdp/image`. - The `raco profile` and `raco contract-profile` commands provide easy access to profiling tools, without requiring program modifications. @ text @d1 1 a1 1 $NetBSD$ @ 1.4 log @Add patch comments. @ text @d1 1 a1 1 $NetBSD: patch-src_configure,v 1.3 2015/12/18 01:10:14 asau Exp $ d3 1 a3 3 Remove bashisms. --- src/configure.orig 2015-10-20 15:10:35.000000000 +0000 d32 2 a33 2 @@@@ -4793,7 +4793,7 @@@@ fi try_kqueue_syscall=yes @ 1.3 log @"test ==" portability fix. @ text @d1 3 a3 1 $NetBSD$ @ 1.2 log @Update to Racket 5.3.2 Changes in Racket v5.3.2 Core Libraries: * The new `math' library provides functions and data structures for working with numbers and collections of numbers. Functions include non-elementary (such as gamma, zeta, Lambert's W), number-theoretic (factorization, modular arithmetic), linear algebra (arithmetic, decompositions), and statistical (expected values, order statistics, binning). Data structures include arbitrary-precision bigfloats, probability distributions, and multidimensional arrays. * The new `file/untar', `file/untgz', and `file/unzip' libraries support unpacking widely used archive formats. * The new `lazy-require' form allows programs to delay the loading and instantiation of helper modules until they are needed. * The new `data/bit-vector' library provides an implementation of bit vectors (a mutable sequence of booleans) supporting popcount. * The `racket/generic' library allows the specification of default method implementations for core datatypes. * The `openssl' library can verify hostnames and use the operating system's certificate store to verify certificates. Package System: * A new package system is in beta release. This system will become Planet's successor. It differs significantly from the latter. For details, please read the documentation at http://docs.racket-lang.org/planet2/ and list your packages on the new index at https://pkg.racket-lang.org/. * The `raco test' command supports testing by collection and package, in addition to by directory and file, with the "-c" and "-p" options. Teaching Libraries: * batch-io: the read and write functions work on Unix-style standard input and output. DrRacket: * DrRacket's GUI is more responsive. * The automatic parenthesis insertion mode is improved. Scribble: * Scribble renders Markdown format files via the "--markdown" command-line flag. Example use case: Generate documentation hosted on GitHub or BitBucket. * Documentation cross-reference information is stored in an SQLite3 database, which means that SQLite3 is required for building Racket documentation on Unix/Linux machines (but SQLite3 is included in Racket distributions for Windows and Mac OS X). Using a database for cross-reference information significantly reduces the initial footprint of DrRacket, since DrRacket no longer needs to load all cross-reference information. Typed Racket: * Typed Racket programs can require `plot/typed' to draw plots. List- and vector-accepting functions accept general sequences. * Typed Racket supports Racket's delimited continuation and continuation mark operators. Redex: * Added more support for `define-judgment-form', including random generation for well-formed judgments and visualization of judgments. Deprecation: The following have been removed in this release: * the `planet' command-line tool; use `raco planet' instead. The following has been deprecated and will be removed in the August 2013 release: * the `mzlib/class100' library; use `racket/class' instead. Changes in Racket v5.3.1 Racket: * The `case' form dispatches on characters, fixnums, symbols, and keywords in logarithmic time. (Thanks to Jon Zeppieri.) * The new `racket/format' library provides new and improved string-formatting functions. * Logging tools include improved filtering support based on the name of a logger. A new `define-logger' form simplifies the use of named loggers. Forms such as `log-debug' now support string formatting. * The `for' forms now support `#:break' and `#:final' clauses. * The new PLTCOMPILEDROOTS environment variable configures the search path for compiled bytecode. DrRacket: * Check Syntax now summarizes the documentation (i.e., the blue boxes) for the identifier at the insertion point in the top-right corner of the definitions window. * Check Syntax now runs continuously for programs that declare their language within the source. This mode has been available for several of the past releases, but now enabled by default. * DrRacket can spell-check string constants (enable this in the Edit menu). Typed Racket: * Typed Racket interprets the Any type as a different contract. This may signal dynamic errors in some existing mixed typed/untyped programs. The normal fix is to replace a use of Any with a more specific types. * NaN is included in all of Typed Racket's floating-point types, which makes precise floating-point types easier to use. * Typed Racket supports a `cast' operation with support for higher-order types. * Typed Racket provides the `:query-type/args' and `:query-type/result' utilities to explore types at the REPL. Miscellaneous: * The `compatibility' collection provides features from Racket relatives, such as `defmacro' and mutable lists. These features are provided to ease porting code to Racket. Avoid them in modern Racket code. * Screenshots of the widgets provided by the Racket GUI library are included in the documentation. (Thanks to Diogo F. S. Ramos.) * FrTime was ported to racket lang. (Thanks to Patrick Mahoney.) Deprecation: The following has been deprecated and will be removed in the January 2013 release: * the `planet' command-line tool; use `raco planet' instead. The following has been deprecated and will be removed in the August 2013 release: * the `mzlib/class100' library; use `racket/class' instead. @ text @d1 1 a1 1 $NetBSD: patch-src_configure,v 1.1 2012/09/15 13:33:59 marino Exp $ d3 1 a3 3 Fixes mbsrtowcs conftest on DragonFly (it segfaulted during the test) --- src/configure.orig 2012-08-06 22:51:46.000000000 +0000 d5 36 a40 11 @@@@ -5111,8 +5111,10 @@@@ cat confdefs.h >>conftest.$ac_ext cat >>conftest.$ac_ext <<_ACEOF /* end confdefs.h. */ #include + #include int main() { mbstate_t state; + bzero(&state, sizeof(mbstate_t)); char *src = "X"; mbsrtowcs(0, &src, 0, &state); return 0; @ 1.1 log @lang/racket: Add DragonFly support LDFLAGS.DragonFly+= -rdynamic Add four patches to support DragonFly: * Teach configuration about DragonFly * Add DragonFly to BSD signal handler code * Fix mbsrtowcs conftest segfault of configure script * Fix cast on string.c Patches contributed by: Chris Turner Jelle Hermsen Patches will be submitted upstream. Revbump due to possible change due to result of mbstrowcs test. @ text @d1 1 a1 1 $NetBSD$ @