caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] [ANN] findlib-1.8.0
@ 2018-04-16  9:13 Gerd Stolpmann
  2018-04-16 13:25 ` Kate
  2018-04-16 20:06 ` SP
  0 siblings, 2 replies; 3+ messages in thread
From: Gerd Stolpmann @ 2018-04-16  9:13 UTC (permalink / raw)
  To: caml-list


[-- Attachment #1.1: Type: text/plain, Size: 1111 bytes --]

Dear list,

a new version of findlib is available:

 - Fix build with upcoming OCaml-4.07.
 - The installation of graphics/META is now optional.
 - Fix "ocamlfind query -d".
 - The environment variable OCAMLFIND_IGNORE_DUPS_IN is now interpreted  as a 
   list of directories.
 - Packages for "ocamlfind query" may now be separated by commas, too.
 - New "warning" property for packages.
 - Forgetting to pass -thread/-vmthread only prints a warning now,  but doesn't 
   stop the build.
 - For dealing with case-sensitive filesystems it is now only tried to  match 
   ASCII characters, but not encoding-dependent characters.

As usual, the details are available here:

http://projects.camlcity.org/projects/findlib.html

Gerd
-- 

------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 488 bytes --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2018-04-16 20:06 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-04-16  9:13 [Caml-list] [ANN] findlib-1.8.0 Gerd Stolpmann
2018-04-16 13:25 ` Kate
2018-04-16 20:06 ` SP

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).