search

rdicosmo / parmap

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
http://rdicosmo.github.io/parmap/
Other
93 stars 20 forks source link

Parmap does not install with OCaml 4.00.01 #9

Closed UnixJunkie closed 11 years ago

UnixJunkie commented 11 years ago

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.

rdicosmo commented 11 years ago

I cannot reproduce this:

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

--- 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:

=-=-= 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/rdicosmo/parmap/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

UnixJunkie commented 11 years ago

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