Hello
Here is the latest OCaml Weekly News, for the week of December 29, 2015 to January 05, 2016.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-01/msg00008.html
François Berenger asked and François Bobot replied:
> What is the current procedure to prepare an opam repository
> so that a machine that has no internet access can still use
> opam ?
>
> Furthermore, is it possible to create a minimal opam repository,
> so also for offline use, but let's say I know only a single
> software with all its dependencies will be installed by the
> offline machine.
> Because, I am foreseeing that downloading all tarballs of all possible
> ocaml software/libraries might exhaust my patience.
The relevant issues are, I think:
https://github.com/ocaml/opam/issues/2098
And a PR that solve some remaining problems with virtual packages:
https://github.com/ocaml/opam/pull/2257
However I need to rewrite it in order to have something less hackish.
François Beranger then said:
OK, thanks for the info, so here is a recipe that worked for me:
wget https://github.com/ocaml/opam-repository/archive/master.tar.gz
tar xzf master.tar.gz
cd opam-repository-master
opam-admin make --resolve PKG
# here I needed to remove
# ocamlbuild from the depends field in the opam file of several packages
# so that the solver finally succeed, so opam-admin-make probably has
# a bug
opam repo add offline $PWD
opam repo remove default # then I have only one opam repository setup
# here I turned off my network card
opam update
opam install PKG # worked using tarballs from the local-disk only
Here is a sneak peek at some potential future features of the Ocaml
compiler, discussed by their implementers in these Github Pull Requests.
Do more optimization (part 1)
https://github.com/ocaml/ocaml/pull/391
Thanks to Alp Mestan, we now include in the OCaml Weekly News the links to the
recent posts from the ocamlcore planet blog at http://planet.ocaml.org/.
Andrej Bauer: A Brown-Palsberg self-interpreter for Gödel’s System T
http://math.andrej.com/2016/01/04/a-brown-palsberg-self-interpreter-for-godels-system-t/
Thomas Leonard: A Unikernel Firewall for QubesOS
http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/
If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.
If you also wish to receive it every week by mail, you may subscribe online.