ocaml / opam-repository Goto Github PK
View Code? Open in Web Editor NEWMain public package repository for opam, the source package manager of OCaml.
Home Page: https://opam.ocaml.org
License: Creative Commons Zero v1.0 Universal
Main public package repository for opam, the source package manager of OCaml.
Home Page: https://opam.ocaml.org
License: Creative Commons Zero v1.0 Universal
opam file for ocamlfind includes "-no-topfind", which probably bad:
setup.ml from oasis uses topfind (from lwt repo):
(* OASIS_START *)
(* DO NOT EDIT (digest: 7f47a529f70709161149c201ccd90f0b) *)
#use "topfind";;
#require "oasis.dynrun";;
open OASISDynRun;;
(* OASIS_STOP *)
Fix shoud be trivial, but i cannot check it, because of https://github.com/OCamlPro/opam/issues/140
=-=-= chamo.2.01 =-=-=
The archive for chamo.2.01 is in the local cache.
Extracting /home/matthieu/.opam/archives/chamo.2.01+opam.tar.gz ...
Build commands:
./configure --prefix /home/matthieu/.opam/system
make all
make install
....etc..
- Installed /home/matthieu/.opam/system/lib/chamo/META
- cp: cannot create regular file ‘/usr/bin/chamo’: Permission denied
- cp: cannot create regular file ‘/usr/bin/chamo.byte’: Permission denied
- cp: cannot create regular file ‘/usr/bin/mk-chamo’: Permission denied
- make[1]: *** [install] Error 1
- make: *** [install] Error 2
'opam install chamo' failed
The proper name of the package should be 'ocaml-safepass', but it's currently packaged as just 'safepass'... (I am the author of OCaml-safepass).
A new release of ocamldap is available.
See: http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/dev-ml/ocamldap/ocamldap-2.2.ebuild?view=markup
If you want to build the OCaml/CDuce interface, you need a copy
of the OCaml source tree matching your current OCaml version.
You must pass the location of this tree to the configure script:
./configure --mliface=$HOME/ocaml-3.09
This is easy (with a subst-var) for switched compilers, as they are unpacked in build, but not so easy for the system compiler.
This causes cduce_ws
to fail... I can't see how that package ever worked before.
In eed some guidance on opam packaging here: to upgrade parmap, one first need to uninstall (ocamlfind) the older version, and then install the new one. I thought opam did it somehow, but it seems I am wrong.
What should I add to the metadata to make sure the old version, if present, is uninstalled before the new one is installed?
$ opam upgrade parmap
The following actions will be performed:
=-=-= parmap.1.0-rc1 =-=-=
Uninstalling parmap.0 ...
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/system
make
make install
Uninstalling parmap.1.0-rc1 ...
The recompilation of parmap.1.0-rc1 failed in /home/dicosmo/.opam/system/build/parmap.1.0-rc1.
Recovering from errors:
[ERROR] while upgrading to parmap.1.0-rc1
= [RUN] "make install"
= [CWD] "/home/dicosmo/.opam/system/build/parmap.1.0-rc1"
= CAML_LD_LIBRARY_PATH=/home/dicosmo/.opam/system/lib/stublibs:/usr/lib/ocaml/stublibs
= BIBINPUTS=:/home/dicosmo/TeX/Bibliography:/home/dicosmo/TeX/Bibliography/BST
= MANPATH=/home/dicosmo/.opam/system/man:
= SSH_AGENT_PID=4460
= KDE_MULTIHEAD=false
= DM_CONTROL=/var/run/xdmctl
= SHELL=/bin/bash
= TERM=xterm
= XDG_SESSION_COOKIE=89147501c761f2114a53138900000019-1349262671.118304-1895142863
= XDM_MANAGED=method=classic
= GTK2_RC_FILES=/etc/gtk-2.0/gtkrc:/home/dicosmo/.gtkrc-2.0:/home/dicosmo/.kde/share/config/gtkrc-2.0
= KONSOLE_DBUS_SERVICE=:1.48
= GS_LIB=/home/dicosmo/.fonts
= GTK_RC_FILES=/etc/gtk/gtkrc:/home/dicosmo/.gtkrc:/home/dicosmo/.kde/share/config/gtkrc
= WINDOWID=62914591
= GTK_MODULES=canberra-gtk-module
= LC_ALL=en_US.utf8
= KDE_FULL_SESSION=true
= OCAML_TOPLEVEL_PATH=/home/dicosmo/.opam/system/lib/toplevel
= USER=dicosmo
= DEBEMAIL=[email protected]
= SSH_AUTH_SOCK=/tmp/ssh-t0YKpALc3WNC/agent.4398
= USERNAME=
= SESSION_MANAGER=local/voyager:@/tmp/.ICE-unix/4595,unix/voyager:/tmp/.ICE-unix/4595
= XPSERVERLIST=:64
= DESKTOP_SESSION=kde-plasma
= PATH=/home/dicosmo/.opam/system/bin:/home/dicosmo/.opam/system/bin:/home/dicosmo/bin:/home/dicosmo/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games:/home/dicosmo/.local/bin:/home/dicosmo/bin
= PWD=/tmp/OCamlPro-opam-578c460
= KDE_SESSION_UID=1000
= LANG=en_US.UTF-8
= KONSOLE_DBUS_SESSION=/Sessions/13
= TEXINPUTS=:/home/dicosmo/ACADEMIC/Paperi/Miei/Definitions:/home/dicosmo/TeX/localmacros:/home/dicosmo/TeX/localmacros/PPS
= HOME=/home/dicosmo
= COLORFGBG=0;15
= SHLVL=1
= KDE_SESSION_VERSION=4
= LANGUAGE=en_US:en
= XCURSOR_THEME=oxy-emerald
= BASH_ENV=/home/dicosmo/.bashrc
= LOGNAME=dicosmo
= XDG_DATA_DIRS=/usr/share:/usr/share:/usr/local/share
= DBUS_SESSION_BUS_ADDRESS=unix:abstract=/tmp/dbus-fV0RKJRmPY,guid=d9b6cab500933350de8738dc00000035
= DEBFULLNAME=Roberto Di Cosmo
= WINDOWPATH=7
= PROFILEHOME=
= DISPLAY=:0
= QT_PLUGIN_PATH=/home/dicosmo/.kde/lib/kde4/plugins/:/usr/lib/kde4/plugins/
= _=/home/dicosmo/.opam/system/bin/opam
= OLDPWD=/tmp
. test -d /home/dicosmo/.opam/system/lib || mkdir -p /home/dicosmo/.opam/system/lib
. test -d /home/dicosmo/.opam/system/lib/stublibs || mkdir -p /home/dicosmo/.opam/system/lib/stublibs
. ocamlfind install -destdir /home/dicosmo/.opam/system/lib -patch-version 0.9.9 parmap META _build/parmap.cma _build/parmap.cmxa _build/parmap.cmxs _build/bytearray.mli _build/parmap.mli _build/setcore.mli _build/bytearray.cmi _build/myocamlbuild.cmi _build/parmap.cmi _build/parmap_utils.cmi _build/setcore.cmi _build/dllparmap_stubs.so _build/libparmap_stubs.a _build/parmap.a
The current package works but is fragile, we should improve that.
from luc maranget:
It is my pleasure to announce the new release (4.00.0) of JoCaml.
JoCaml is the concurrrent and distributed extension of OCaml based upon
the join-caculus.
The new release follows OCaml evolution, it may be that the integration
of OCaml new features such as GADT and binary annotations is far
from perfect...
The new release is available from JoCaml web site:
<http://jocaml.inria.fr/>
```
Is there any reason not to have 4.00.0+fp compiler in compilers directory?
I made the comp file for my private use and that seems to work fine.
opam-version: "1"
name: "4.00.0+fp"
src: "http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.0.tar.bz2"
patches: ["http://www.ocamlpro.com//files/omit-frame-pointer-4.00.0.patch"]
make: [ "world" "world.opt" ]
packages : [ "base-unix" "base-bigarray" "base-threads" ]
env: [
[ CAML_LD_LIBRARY_PATH += "%{lib}%/stublibs" ]
]
Thanks.
'opam install lacaml' failed
No milestone
No one is assigned
opam install lacaml
The following actions will be performed:
install lacaml.7.0.3 1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
=-=-= lacaml.7.0.3 =-=-=
Downloading http://opam.ocamlpro.com/archives/lacaml.7.0.3+opam.tar.gz ...
[ERROR] while installing lacaml.7.0.3
Wrong checksum for http://opam.ocamlpro.com/archives/lacaml.7.0.3+opam.tar.gz
'opam install lacaml' failed
opam --version
opam version 0.8.2
imagemagick_wrap.c: In function ‘imper_getmagickquantumdepth’:
imagemagick_wrap.c:2216:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
imagemagick_wrap.c: In function ‘imper_getmagickquantumrange’:
imagemagick_wrap.c:2244:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
gcc -fPIC -c -I"/usr/lib/ocaml" -fopenmp -I/usr/include/ImageMagick imagemagick_list.c
ocamlmklib -o imagemagick_stubs imagemagick_wrap.o imagemagick_list.o \
-lMagickCore
ocamlc -a -o magick.cma magick.cmo -dllib -limagemagick_stubs \
-cclib -lMagickCore
ocamlopt -c magick.ml
ocamlopt -a -o magick.cmxa magick.cmx -cclib -limagemagick_stubs \
-cclib -lMagickCore
if [ ! -d /usr/local/lib/ocaml/3.12.1/libMagick ]; then install -d /usr/local/lib/ocaml/3.12.1/libMagick ; fi
install: cannot change permissions of `/usr/local/lib/ocaml/3.12.1/libMagick': No such file or directory
make: *** [install] Error 1
=-=-= utop.1.2.1 =-=-=
Downloading https://forge.ocamlcore.org/frs/download.php/951/utop-1.2.1.tar.gz ...
Creating the archive file in /b/opam_pkg/compiler_system,packages_utop/repo/default/archives/utop.1.2.1+opam.tar.gz
Extracting /b/opam_pkg/compiler_system,packages_utop/archives/utop.1.2.1+opam.tar.gz ...
Build commands:
ocaml setup.ml -configure --prefix /b/opam_pkg/compiler_system,packages_utop/system
ocaml setup.ml -build
ocaml setup.ml -install
Uninstalling utop.1.2.1 ...
The compilation of utop.1.2.1 failed in /b/opam_pkg/compiler_system,packages_utop/system/build/utop.1.2.1.
[ERROR] while installing utop.1.2.1
= [RUN] "ocaml setup.ml -configure --prefix /b/opam_pkg/compiler_system,packages_utop/system"
= [CWD] "/b/opam_pkg/compiler_system,packages_utop/system/build/utop.1.2.1"
= JENKINS_HOME=/var/lib/jenkins
= MAIL=/var/mail/jenkins
= LANGUAGE=en_GB:en
= USER=jenkins
= SHLVL=1
= NODE_LABELS=master
= HUDSON_URL=http://localhost:8080/
= GIT_COMMIT=b29c97248cfcedf28950f304f621306cd2470586
= LD_LIBRARY_PATH=/usr/lib/jvm/java-6-openjdk-amd64/jre/lib/amd64/server:/usr/lib/jvm/java-6-openjdk-amd64/jre/lib/amd64:/usr/lib/jvm/java-6-openjdk-amd64/jre/../lib/amd64
= HOME=/var/lib/jenkins
= XDG_SESSION_COOKIE=744d83b23cbc24aa0d31707400003390-1349472607.368104-913128408
= BUILD_URL=http://localhost:8080/job/opam_pkg/./compiler=system,packages=utop/32/
= JENKINS_SERVER_COOKIE=9e508877dc0760e4c0c0dc044a72ac80
= HUDSON_COOKIE=f8508332-7d9f-458e-9c50-9fcb8f04267d
= packages=utop
= WORKSPACE=/var/lib/jenkins/jobs/opam_pkg/workspace/compiler/system/packages/utop
= LOGNAME=jenkins
= NODE_NAME=master
= _=/usr/bin/daemon
= EXECUTOR_NUMBER=2
= GIT_BRANCH=origin/master
= TERM=screen
= HUDSON_HOME=/var/lib/jenkins
= PATH=/b/opam_pkg/compiler_system,packages_utop/system/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games
= BUILD_ID=2012-10-06_09-13-24
= BUILD_TAG=jenkins-opam_pkg-compiler=system,packages=utop-32
= JENKINS_URL=http://localhost:8080/
= LANG=en_GB.UTF-8
= JOB_URL=http://localhost:8080/job/opam_pkg/./compiler=system,packages=utop/
= compiler=system
= BUILD_NUMBER=32
= SHELL=/bin/bash
= HUDSON_SERVER_COOKIE=9e508877dc0760e4c0c0dc044a72ac80
= JOB_NAME=opam_pkg/compiler=system,packages=utop
= PWD=/var/lib/jenkins/jobs/opam_pkg/workspace/compiler/system/packages/utop
= CAML_LD_LIBRARY_PATH=/b/opam_pkg/compiler_system,packages_utop/system/lib/stublibs:/usr/lib/ocaml/stublibs
=
* I: Searching for OCaml compiler libraries
* E: Cannot find compiler libraries! See the README for details.
'/var/lib/jenkins/opam-bin/bin/opam --yes --root /b/opam_pkg/compiler_system,packages_utop install utop' failed
It tries to install doc in /usr/local/share/doc for some reason.
I'm trying to init opam with a custom root from the latest version of the git repository, but it seems like some packages are missing:
opam --root /tmp/OPAM_ROOT init latest git://github.com/OCamlPro/opam-repository.git
Fetching git://github.com/OCamlPro/opam-repository.git ...
Package orakuda depends on the unknown package spotlib
Package planck depends on the unknown package spotlib
Package spotinstall depends on the unknown package spotlib
Package treeprint depends on the unknown package spotlib
Package tyxml depends on the unknown package ocamlduce
'opam --root /tmp/OPAM_ROOT init latest git://github.com/OCamlPro/opam-repository.git' failed
Is this an issue with the current state of the repository?
I cannot install the package pgocaml
(I do the following in a fresh opam root), applying the opam-specific patches fails:
$ opam64 init
...
$ opam64 install pgocaml
...
=-=-= pgocaml.1.6 =-=-=
Downloading http://opam.ocamlpro.com/archives/pgocaml.1.6+opam.tar.gz ...
Extracting /tmp/opam/archives/pgocaml.1.6+opam.tar.gz ...
Applying opam.patch
[ERROR] while installing pgocaml.1.6
= [RUN] "patch -p0 -i /tmp/opam/system/build/pgocaml.1.6/opam.patch"
= [CWD] "/tmp/opam/system/build/pgocaml.1.6"
= CONTEXTS=ocsigen
= LANGUAGE=en_US:en
= KDE_MULTIHEAD=false
= MANPATH=/tmp/opam/system/man:/home/beckerb/local/ocsigen/share/man:/home/beckerb/local/ocsigen/share/man
= KDE_SESSION_VERSION=4
= KONSOLE_DBUS_SERVICE=:1.49
= LOGNAME=beckerb
= WINDOWPATH=7
= GTK2_RC_FILES=/etc/gtk-2.0/gtkrc:/home/beckerb/.gtkrc-2.0:/home/beckerb/.kde/share/config/gtkrc-2.0
= KDE_FULL_SESSION=true
= prompt_encoding=8bit
= DBUS_SESSION_BUS_ADDRESS=unix:abstract=/tmp/dbus-QERRD0yLGw,guid=beaec8c10af6f2f6fa774c7e507d66a6
= PATH=/tmp/opam/system/bin:/home/beckerb/local/ocsigen/bin:/home/beckerb/local/bin:/home/beckerb/.cabal/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games
= USER=beckerb
= GNOME_KEYRING_PID=4696
= LANG=en_US.UTF-8
= GTK_RC_FILES=/etc/gtk/gtkrc:/home/beckerb/.gtkrc:/home/beckerb/.kde/share/config/gtkrc
= WINDOWID=62914624
= XDG_DATA_DIRS=/usr/share:/usr/share:/usr/local/share
= DISPLAY=:0
= PWD=/home/beckerb
= GDMSESSION=kde-plasma
= XCURSOR_THEME=default
= GS_LIB=/home/beckerb/.fonts
= COLORFGBG=15;0
= XAUTHORITY=/tmp/kde-beckerb/xauth-1003-_0
= [email protected]
= KDE_SESSION_UID=1003
= SSH_AGENT_PID=4763
= XDG_SESSION_COOKIE=39c1fce6726b28a20efb14b4000000e1-1350395557.573010-366487153
= CAML_LD_LIBRARY_PATH=/tmp/opam/system/lib/stublibs:/usr/lib/ocaml/stublibs
= OCAMLPATH=/home/beckerb/local/ocsigen/lib/ocaml:
= prompt_color=yellow
= TERM=xterm
= PROFILEHOME=
= SESSION_MANAGER=local/deraadt:@/tmp/.ICE-unix/4828,unix/deraadt:/tmp/.ICE-unix/4828
= QT_PLUGIN_PATH=/home/beckerb/.kde/lib/kde4/plugins/:/usr/lib/kde4/plugins/
= SSH_AUTH_SOCK=/tmp/ssh-2CjdDl72Kf7C/agent.4714
= KONSOLE_DBUS_SESSION=/Sessions/17
= GNOME_KEYRING_CONTROL=/home/beckerb/.cache/keyring-NIeikF
= DESKTOP_SESSION=kde-plasma
= USERNAME=beckerb
= SHELL_SESSION_ID=fa31651d93d94000966315f124363cdc
= HOME=/home/beckerb
= SHELL=/bin/zsh
= SHLVL=1
= OLDPWD=/home/beckerb
= EDITOR=vim
= OCAML_TOPLEVEL_PATH=/tmp/opam/system/lib/toplevel
= _=/home/beckerb/local/bin/opam64
=
. patching file /tmp/opam-12040-829/pgocaml.1.6/Makefile
. Reversed (or previously applied) patch detected! Assume -R? [n]
. Apply anyway? [n]
. Skipping patch.
. 1 out of 1 hunk ignored -- saving rejects to file /tmp/opam-12040-829/pgocaml.1.6/Makefile.rej
'opam64 --root /tmp/opam install pgocaml' failed
Hello,
Why keeping a parmap.0.9.1 package
now that we have a parmap.1.0-rc1 ?
Thanks a lot,
Francois.
These packages reference Netstring_pcre
which is no longer provided by ocamlnet.3.6
. Given that ocamlnet.3.5.1
is incompatible with OCaml 4.00.0, these packages ought to declare ocaml-version: [ < "4.00.0" ]
.
Related question: any suggestions for the best patching strategy? One option would be to substitute Netstring_pcre
with Netstring_str
where applicable, repackage and distribute with a modified version number e.g., tyxml.2.1p
. (I still need to test this for ocsigenserver
and eliom
, works for tyxml
.) An alternative would be tracking the development heads of each project (via a Github mirror as they're versioned with darcs
).
Maybe we should have an address like [email protected] instead of "contact" that is probably too generic.
Problem:
The META file is missing the dependency on str.cma for bisect_pp:
bisectThread.cmx is not installed
Possible fix:
Upgrade to bisect 1.3, and apply Makefile patch from http://bugs.x9c.fr/view.php?id=108
The META file is missing the dependency on str.cma for bisect_pp in bisect 1.1 (fixed in 1.3):
Camlp4: Uncaught exception: DynLoader.Error ("/home/edwin/.opam/4.00.1/lib/bisect/bisect_pp.cmo", "error while linking /home/edwin/.opam/4.00.1/lib/bisect/bisect_pp.cmo.\nReference to undefined global `Str'")
When trying to use bisect on a program compiled with threads I get an error that bisectThread.cmx is missing, and indeed it was not installed. This is a problem with bisect 1.3 too, see here for a patch:
http://bugs.x9c.fr/view.php?id=108
OCamlEditor: http://ocamleditor.forge.ocamlcore.org/
Config_file: http://config-file.forge.ocamlcore.org/
Lablgtk-extras: http://gtk-extras.forge.ocamlcore.org/
Liquidsoap: http://liquidsoap.fm/
The dependency to lwt should be removed from zed and added to lambda-term.
I don't know exactly what is the problem.
I've installed core_extended and eliom through opam
(I tried 3.12.1, 4.00.1, switching compilers or not every time from scratch, I've tried a bunch of 'opam reinstall' too)
$ echo 'type t = A | B' > uuu.ml
$ eliomc -c -noinfer uuu.ml # works fine
$ eliomc -c -noinfer -package core uuu.ml
File "uuu.ml", line 1, characters 13-14:
Parse error: deriving then ( expected after [type_declaration] (in [str_item])
File "uuu.ml", line 1:
Error: Preprocessor error
It would be awesome if cohttp would generate the doc for modules lwt (and probably async). Right now there is only documentation for module cohttp.
There is a new minor release of camlzip : http://forge.ocamlcore.org/frs/?group_id=134
One thing to notice : installation with ocamlfind is now provided, but the library installs under the name 'zip' instead of 'camlzip'. I think it would be better to stick to that decision to avoid confusion, but maybe it's possible to have the two names working with some hacking? That'd be great as a lot of packages rely on the 'camlzip' name in their build files.
Here is a recent discussion on this issue : http://comments.gmane.org/gmane.comp.lang.ocaml.godi/952
I think Sébastien Mondet's suggestion (having a second META file) is the way to go. How does it sound?
pcre-ocaml depends on the PCRE C bindings; would be nice to be able to detect whether the C library is installed in a separate package.
Hi,
With github version of opam (cadbcde0d242440478f8d172a51b6178af0c3681), I get:
=-=-= ocamlnet.3.6.0 =-=-=
The archive for ocamlnet.3.6.0 is in the local cache.
Extracting /home/lefessan/.opam/archives/ocamlnet.3.6.0+opam.tar.gz ...
Applying ocamlnet-ocaml4.diff
Cannot find /home/lefessan/.opam/4.00.0/build/ocamlnet.3.6.0/ocamlnet-ocaml4.diff
Due to some errors while processing ocamlnet.3.6.0, the following actions will NOT be proceeded:
install weberizer.0.7.1
[ERROR] while installing ocamlnet.3.6.0
OpamGlobals.Exit(66)
Raised at file "src/opamGlobals.ml", line 70, characters 10-19
Called from file "src/opamSystem.ml", line 461, characters 6-51
Called from file "src/opamSystem.ml", line 118, characters 12-17
Re-raised at file "src/opamSystem.ml", line 123, characters 10-11
Called from file "list.ml", line 75, characters 12-15
Called from file "src/opamClient.ml", line 1553, characters 2-312
Called from file "src/opamParallel.ml", line 244, characters 18-25
'opam install weberizer' failed
zsh: exit 2 opam install weberizer
using a local clone repository of opam-repository. Looks like some patch on ocamlnet is not downloaded somewhere ?
Hi,
I get an error trying to install chamo
opam install chamo
Result:
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/lib/ocaml/compiler-libs, >/usr/lib/ocaml
- File "ed_layout.ml", line 25, characters 0-8:
- Error: Unbound module Xml
- make[1]: *** [ed_layout.cmx] Error 2
- make: *** [src] Error 2
'opam install chamo' failed
In the repo, there are duplicates of packages, for example ocaml-re VS re, ocaml-extlib VS extlib.
Someone should do something about it.
cohttp optionally depends on lwt, async, and mirage-net, so none of these libraries will be installed on cohttp install. On my setup, cohttp install fails because it requires async.
I do a:
<download and reinstall opam 0.6.0>
rm -rf .opam
opam init
opam install utop
and then it fails compiling compiler-libs-3.12.1:
Due to some errors while processing compiler-libs.3.12.1, the following actions will NOT be proceeded:
- install utop.1.2.1
[ERROR] while installing compiler-libs.3.12.1
Sys_error("/home/djs/.opam/system/build/compiler-libs.3.12.1/parsing/asttypes.mlimods: No such file or directory")
I'll play with it a bit more to see if I can understand what's happening.
When updating the repository, I get the following error:
$ opam update
Synchronizing with http://opam.ocamlpro.com ...
'opam update' failed
Fatal error: exception Sys_error("Is a directory")
Here is some info on my config
$ opam --version
opam version 0.7.4
$ opam config -list-vars
prefix : /home/dicosmo/.opam/system
lib : /home/dicosmo/.opam/system/lib
bin : /home/dicosmo/.opam/system/bin
doc : /home/dicosmo/.opam/system/doc
stublibs : /home/dicosmo/.opam/system/lib/stublibs
toplevel : /home/dicosmo/.opam/system/lib/toplevel
man : /home/dicosmo/.opam/system/man
make : make
os : linux
Here are the details; notice (at the end) that in system/lib/easy-format the .a file is missing, but all the others are there)
$opam install biniou
The following actions will be performed:
=-=-= biniou.1.0.5 =-=-=
The archive for biniou.1.0.5 is in the local cache.
Extracting /home/dicosmo/.opam/archives/biniou.1.0.5+opam.tar.gz ...
Build commands:
make
make install
Uninstalling biniou.1.0.5 ...
The compilation of biniou.1.0.5 failed in /home/dicosmo/.opam/system/build/biniou.1.0.5.
[ERROR] while installing biniou.1.0.5
= [RUN] "make"
= [CWD] "/home/dicosmo/.opam/system/build/biniou.1.0.5"
= CAML_LD_LIBRARY_PATH=/home/dicosmo/.opam/system/lib/stublibs:/usr/lib/ocaml/stublibs
= BIBINPUTS=:/home/dicosmo/TeX/Bibliography:/home/dicosmo/TeX/Bibliography/BST
= MANPATH=/home/dicosmo/.opam/system/man:
= SSH_AGENT_PID=4297
= KDE_MULTIHEAD=false
= DM_CONTROL=/var/run/xdmctl
= SHELL=/bin/bash
= TERM=xterm
= XDG_SESSION_COOKIE=89147501c761f2114a53138900000019-1350061560.348056-1979745415
= XDM_MANAGED=method=classic
= GTK2_RC_FILES=/etc/gtk-2.0/gtkrc:/home/dicosmo/.gtkrc-2.0:/home/dicosmo/.kde/share/config/gtkrc-2.0
= KONSOLE_DBUS_SERVICE=:1.51
= GS_LIB=/home/dicosmo/.fonts
= GTK_RC_FILES=/etc/gtk/gtkrc:/home/dicosmo/.gtkrc:/home/dicosmo/.kde/share/config/gtkrc
= WINDOWID=60817439
= GTK_MODULES=canberra-gtk-module
= LC_ALL=en_US.utf8opam install biniou
The following actions will be performed:
=-=-= biniou.1.0.5 =-=-=
The archive for biniou.1.0.5 is in the local cache.
Extracting /home/dicosmo/.opam/archives/biniou.1.0.5+opam.tar.gz ...
Build commands:
make
make install
Uninstalling biniou.1.0.5 ...
The compilation of biniou.1.0.5 failed in /home/dicosmo/.opam/system/build/biniou.1.0.5.
[ERROR] while installing biniou.1.0.5
= [RUN] "make"
= [CWD] "/home/dicosmo/.opam/system/build/biniou.1.0.5"
= CAML_LD_LIBRARY_PATH=/home/dicosmo/.opam/system/lib/stublibs:/usr/lib/ocaml/stublibs
= BIBINPUTS=:/home/dicosmo/TeX/Bibliography:/home/dicosmo/TeX/Bibliography/BST
= MANPATH=/home/dicosmo/.opam/system/man:
= SSH_AGENT_PID=4297
= KDE_MULTIHEAD=false
= DM_CONTROL=/var/run/xdmctl
= SHELL=/bin/bash
= TERM=xterm
= XDG_SESSION_COOKIE=89147501c761f2114a53138900000019-1350061560.348056-1979745415
= XDM_MANAGED=method=classic
= GTK2_RC_FILES=/etc/gtk-2.0/gtkrc:/home/dicosmo/.gtkrc-2.0:/home/dicosmo/.kde/share/config/gtkrc-2.0
= KONSOLE_DBUS_SERVICE=:1.51
= GS_LIB=/home/dicosmo/.fonts
= GTK_RC_FILES=/etc/gtk/gtkrc:/home/dicosmo/.gtkrc:/home/dicosmo/.kde/share/config/gtkrc
= WINDOWID=60817439
= GTK_MODULES=canberra-gtk-module
= LC_ALL=en_US.utf8
= KDE_FULL_SESSION=true
= OCAML_TOPLEVEL_PATH=/home/dicosmo/.opam/system/lib/toplevel
= USER=dicosmo
= DEBEMAIL=[email protected]
= SSH_AUTH_SOCK=/tmp/ssh-FFZLmbBsJvsV/agent.4229
= USERNAME=
= SESSION_MANAGER=local/voyager:@/tmp/.ICE-unix/4464,unix/voyager:/tmp/.ICE-unix/4464
= XPSERVERLIST=:64
= DESKTOP_SESSION=kde-plasma
= PATH=/home/dicosmo/.opam/system/bin:/home/dicosmo/.opam/system/bin:/home/dicosmo/bin:/home/dicosmo/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games:/home/dicosmo/.local/bin:/home/dicosmo/bin
= PWD=/home/dicosmo/code/Parmap/parmap
= KDE_SESSION_UID=1000
= LANG=en_US.UTF-8
= KONSOLE_DBUS_SESSION=/Sessions/3
= TEXINPUTS=:/home/dicosmo/ACADEMIC/Paperi/Miei/Definitions:/home/dicosmo/TeX/localmacros:/home/dicosmo/TeX/localmacros/PPS
= HOME=/home/dicosmo
= COLORFGBG=0;15
= SHLVL=1
= KDE_SESSION_VERSION=4
= LANGUAGE=en_US:en
= XCURSOR_THEME=oxy-emerald
= BASH_ENV=/home/dicosmo/.bashrc
= LOGNAME=dicosmo
= XDG_DATA_DIRS=/usr/share:/usr/share:/usr/local/share
= DBUS_SESSION_BUS_ADDRESS=unix:abstract=/tmp/dbus-m7GZ4iEz65,guid=085fc549fbd53650f88c27f800000021
= DEBFULLNAME=Roberto Di Cosmo
= WINDOWPATH=7
= PROFILEHOME=
= DISPLAY=:0
= QT_PLUGIN_PATH=/home/dicosmo/.kde/lib/kde4/plugins/:/usr/lib/kde4/plugins/
= _=/home/dicosmo/.opam/system/bin/opam
. ocamlfind ocamlc -a -dtypes -g -o biniou.cma
. -package "easy-format" bi_util.mli bi_util.ml bi_share.mli bi_share.ml bi_outbuf.mli bi_outbuf.ml bi_inbuf.mli bi_inbuf.ml bi_vint.mli bi_vint.ml bi_io.mli bi_io.ml bi_dump.ml bi_stream.mli bi_stream.ml
. ocamlfind ocamlopt -a -dtypes -g
. -o biniou.cmxa -package "easy-format" bi_util.mli bi_util.ml bi_share.mli bi_share.ml bi_outbuf.mli bi_outbuf.ml bi_inbuf.mli bi_inbuf.ml bi_vint.mli bi_vint.ml bi_io.mli bi_io.ml bi_dump.ml bi_stream.mli bi_stream.ml
. ocamlfind ocamlopt -o bdump -dtypes -g
. -package easy-format -linkpkg
. biniou.cmxa bdump.ml
dicosmo@voyager:/code/Parmap/parmap$ ls -l /home/dicosmo/.opam/system/lib/easy-format/easy_format.a/code/Parmap/parmap$ ls -l /home/dicosmo/.opam/system/lib/easy-format
ls: cannot access /home/dicosmo/.opam/system/lib/easy-format/easy_format.a: No such file or directory
dicosmo@voyager:
total 116
-rw-r--r-- 1 dicosmo dicosmo 3917 Oct 13 11:34 easy_format.cmi
-rw-r--r-- 1 dicosmo dicosmo 10277 Oct 13 11:34 easy_format.cmo
-rw-r--r-- 1 dicosmo dicosmo 1634 Oct 13 11:34 easy_format.cmx
-rw-r--r-- 1 dicosmo dicosmo 568 Oct 13 11:34 easy_format.cmxa
-rwxr-xr-x 1 dicosmo dicosmo 46548 Oct 13 11:34 easy_format.cmxs
-rw-r--r-- 1 dicosmo dicosmo 7153 Feb 4 2012 easy_format.mli
-rw-r--r-- 1 dicosmo dicosmo 31928 Oct 13 11:34 easy_format.o
-rw-r--r-- 1 dicosmo dicosmo 202 Oct 13 11:34 META
dicosmo@voyager:~/code/Parmap/parmap$
. ocamlc -w A -c hashtbl2.mli
. ocamlopt -dtypes -c hashtbl2.ml
* File "hashtbl2.ml", line 1:
* Error: The implementation hashtbl2.ml
* does not match the interface hashtbl2.cmi:
* Values do not match:
* val create : ?random:bool -> int -> ('a, 'b) Hashtbl.t
* is not included in
* val create : int -> ('a, 'b) t
* File "hashtbl2.ml", line 3, characters 4-10: Actual declaration
* make: *** [hashtbl2.cmx] Error 2
'/var/lib/jenkins/opam-bin/OCamlPro/bin/opam --verbose --yes --root /x/pkg_opro_remote_all4/compiler_system4-packages_caml2html install caml2html' failed
Running on Mac OSX on top of homebrew. The gtk+ package from brew is
installed. The key issue seems to be the lack of the
lablgtk2.sourceview2 package.
~ $ opam install lablgtk-extras
The following variables are set in your environment, you should better unset it if you want OPAM to work correctly.
- CAML_LD_LIBRARY_PATH
Do you want to continue ? [Y/n]
The following actions will be performed:
- install lablgtk-extras.1.2
1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
=-=-= lablgtk-extras.1.2 =-=-=
The archive for lablgtk-extras.1.2 is in the local cache.
Extracting /Users/yminsky/.opam/archives/lablgtk-extras.1.2+opam.tar.gz
Build commands:
./configure --prefix /Users/yminsky/.opam/4.00.1+short-types
make all
make install
Uninstalling lablgtk-extras.1.2
The compilation of lablgtk-extras.1.2 failed in /Users/yminsky/.opam/4.00.1+short-types/build/lablgtk-extras.1.2.
[ERROR] while installing lablgtk-extras.1.2
= [RUN] "./configure --prefix /Users/yminsky/.opam/4.00.1+short-types"
= [CWD] "/Users/yminsky/.opam/4.00.1+short-types/build/lablgtk-extras.1.2"
= CAML_LD_LIBRARY_PATH=/Users/yminsky/.opam/4.00.1+short-types/lib/stublibs
= MANPATH=/Users/yminsky/.opam/4.00.1+short-types/man:
= TERM_PROGRAM=iTerm.app
= TERM=xterm-256color
= SHELL=/bin/bash
= TMPDIR=/var/folders/sy/cj86bh9d2cz0z_wvct_pbd8r0000gn/T/
= Apple_PubSub_Socket_Render=/tmp/launch-2N19tl/Render
= OCAML_TOPLEVEL_PATH=/Users/yminsky/.opam/4.00.1+short-types/lib/toplevel
= USER=yminsky
= COMMAND_MODE=unix2003
= SSH_AUTH_SOCK=/tmp/launch-iaHVsf/Listeners
= __CF_USER_TEXT_ENCODING=0x1F5:0:0
= Apple_Ubiquity_Message=/tmp/launch-1XojdB/Apple_Ubiquity_Message
= PATH=/Users/yminsky/.opam/4.00.1+short-types/bin:/Users/yminsky/.opam/4.00.1+short-types/bin:/usr/local/bin:/Users/yminsky/.cabal/bin:/Users/yminsky/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin
= PWD=/Users/yminsky
= LANG=en_US.UTF-8
= ITERM_PROFILE=Default
= PS1=\W $
= SHLVL=1
= HOME=/Users/yminsky
= ITERM_SESSION_ID=w1t4p0
= LOGNAME=yminsky
= PKG_CONFIG_PATH=/opt/X11/lib/pkgconfig
= DISPLAY=/tmp/launch-msxTr7/org.macosforge.xquartz:0
= SECURITYSESSIONID=186a5
= _=/usr/local/bin/opam
= CAML_LD_LIBRARY_PATH=/Users/yminsky/.opam/4.00.1+short-types/lib/stublibs
=
. checking for ocamlc... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlc
. found OCaml version 4.0.1 (4.00.1)
. checking for ocamlfind... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlfind
. checking for camlp4... /Users/yminsky/.opam/4.00.1+short-types/bin/camlp4
. checking for ocamlprof... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlprof
. checking for ocamlmktop... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlmktop
. checking for ocamlmklib... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlmklib
. checking for ocamlyacc... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlyacc
. checking for ocamllex... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamllex
. checking for ocamldoc... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamldoc
. checking for ocamldep... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamldep
. checking for ocamlopt... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlopt
. checking for ocaml... /Users/yminsky/.opam/4.00.1+short-types/bin/ocaml
. checking for ocamlc.opt... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlc.opt
. we can use /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlc.opt
. checking for ocamlopt.opt... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlopt.opt
. we can use /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlopt.opt
. checking for ocamldep.opt... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamldep.opt
. we can use /Users/yminsky/.opam/4.00.1+short-types/bin/ocamldep.opt
. checking for ocamldoc.opt... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamldoc.opt
. we can use /Users/yminsky/.opam/4.00.1+short-types/bin/ocamldoc.opt
. checking for ocamllex.opt... /Users/yminsky/.opam/4.00.1+short-types/bin/ocamllex.opt
. we can use /Users/yminsky/.opam/4.00.1+short-types/bin/ocamllex.opt
. Objective-Caml version 4.0.1 (4.00.1)
. interpreter: /Users/yminsky/.opam/4.00.1+short-types/bin/ocaml
. bytecode compiler: /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlc.opt
. native code compiler: /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlopt.opt
. documentation generator(s): /Users/yminsky/.opam/4.00.1+short-types/bin/ocamldoc, /Users/yminsky/.opam/4.00.1+short-types/bin/ocamldoc.opt
. lexer generator: /Users/yminsky/.opam/4.00.1+short-types/bin/ocamllex.opt
. parser generator: /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlyacc
. dependencies generator: /Users/yminsky/.opam/4.00.1+short-types/bin/ocamldep.opt
. library builder: /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlmklib
. toplevel builder: /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlmktop
. profiler: /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlprof
. camlp4: /Users/yminsky/.opam/4.00.1+short-types/bin/camlp4
. ocamlfind: /Users/yminsky/.opam/4.00.1+short-types/bin/ocamlfind
.
. ### checking required tools and libraries ###
. checking for config-file... ok
. checking for lablgtk2... ok
. checking for lablgtk2.sourceview2...
* ocamlfind: Package `lablgtk2.sourceview2' not found
* Package lablgtk2.sourceview2 not found
*
* You way have a look at config_check.log for details.
'opam install lablgtk-extras' failed
package ocamlnet has a lot of optional dependencies that has to be configured properly in the package to benefit from advanced features. By default, only the most basic features are compiled. Please improve the ocamlnet package.
If I do opam update, it tells me:
Package tyxml depends on the unknown package ocamlduce
'opam update' failed
I use the latest opam available in opam-repo.
What does "'opam update' failed" mean in this case?
Is this only for the update of tyxml, or the other package information are not updated either?
ocamlsdl
will compile differently, depending on which sdl_*
libraries are used. We should add a conf-sdl_*
for each sdl_*
and make ocamlsdl
depends on ocamlsdl
and conf-sdl_image
.
Maybe we should have an unstable version of opam-repository in addition to this one: inclusion of packages from unstable to this one would be done after careful testing on different platforms (At least Linux and OSX let’s say).
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.