Giters

rdicosmo / parmap

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.

Home Page:http://rdicosmo.github.io/parmap/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Parmap does not install with OCaml 4.00.01

UnixJunkie opened this issue · comments

commented

I tried:

opam -switch 4.00.01

Then resource the opam config.

Then I could not install parmap.

It does not happen with 4.00.0

Regards,
F.

commented

I cannot reproduce this:

$ opam switch -list
--- Installed compilers ---
3.12.1

  • 4.00.1
    system

--- Available compilers ---
3.12.1
3.12.1 (3.12.1+mirage-unix-direct)
3.12.1 (3.12.1+mirage-xen)
3.12.1 (3.12.1+natdynlink-osx)
4.00.0
4.00.0 (4.00.0+debug-runtime)
4.00.0 (4.00.0+fp)
4.00.0 (4.00.0+raspberrypi)
4.00.1
4.00.1 (4.00.1+annot)
4.00.1 (4.00.1+french)
4.00.1 (4.00.1+mirage-unix)
4.00.1 (4.00.1+mirage-xen)
4.00.1 (4.00.1+open-types)
4.00.1 (4.00.1+raspberrypi)
4.00.1 (4.00.1+short-types)
4.01.0dev (4.01.0dev+endian)
4.01.0dev (4.01.0dev+mirage-unix)
4.01.0dev (4.01.0dev+mirage-xen)
4.01.0dev (4.01.0dev+trunk)
~ 3.12.1 (system)

$ opam reinstall parmap
The following actions will be performed:

  • recompile parmap.1.0-rc1
    0 to install | 1 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove

=-=-= parmap.1.0-rc1 =-=-=
Uninstalling parmap.1.0-rc1
The archive for parmap.1.0-rc1 is in the local cache.
Extracting /home/dicosmo/.opam/archives/parmap.1.0-rc1+opam.tar.gz
The archive for parmap.1.0-rc1 is in the local cache.
Extracting /home/dicosmo/.opam/archives/parmap.1.0-rc1+opam.tar.gz
Build commands:
aclocal -I m4
autoconf
autoheader
./configure --prefix /home/dicosmo/.opam/4.00.1
make
make install
Installing parmap.1.0-rc1

2013/1/23 Francois Berenger notifications@github.com

I tried:

opam -switch 4.00.01

Then resource the opam config.

Then I could not install parmap.

It does not happen with 4.00.0

Regards,
F.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/9.

--Roberto Di Cosmo

Professeur En delegation a l'INRIA
PPS E-mail: roberto@dicosmo.org
Universite Paris Diderot WWW : http://www.dicosmo.org
Case 7014 Tel : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13

FRANCE.

Attachments:
MIME accepted

Word deprecated, http://www.rfc1149.net/documents/whynotword

Office location:

Bureau 6C15 (6th floor)
175, rue du Chevaleret, XIII

Metro Chevaleret, ligne 6

commented

Strange, I'll report if I encounter it again in the future.