Skip to content

Instantly share code, notes, and snippets.

@amirmc
amirmc / gist:7500178
Created November 16, 2013 13:28
Result of running `opam upgrade --cudf=20131116`
#internal OPAM solver
preamble:
property: installed-root: bool = [false], reinstall: bool = [false], buildessential: bool = [false], essential: bool = [false], sourceversion: int = [1], sourcenumber: string = [""], source: string = [""], number: string, recommends: vpkgformula = [true!]
package: ibx
version: 58
depends: sexplib , fieldslib , core%5fextended < 335 , core >= 316 , async , ocamlfind
conflicts: ibx
number: 0.5.1
source: ibx
@amirmc
amirmc / opam-upgrade
Created November 16, 2013 13:24
Result of running opam upgrade
amirmacbook:ocaml.org amir$ opam update
Creating a cache of metadata in ~/.opam/state.cache ...
opamdoc Fetching git://github.com/avsm/opamdoc-dev
default Downloading https://opam.ocaml.org/urls.txt
Updating ~/.opam/repo/compiler-index ...
Updating ~/.opam/compilers/ ...
Updating ~/.opam/repo/package-index ...
Updating ~/.opam/packages/ ...
Updating the cache of metadata (~/.opam/state.cache) ...
0 to install | 7 to reinstall | 1 to upgrade | 0 to downgrade | 0 to remove
@amirmc
amirmc / opam-uni.txt
Created November 13, 2013 16:04
Output from `opam switch export -f opam-uni.txt` Relevant to https://github.com/ocaml/opam/issues/985
atd 1.0.3 noroot
atdgen 1.2.4 noroot
base-bigarray base root
base-threads base root
base-unix base root
bin_prot 109.45.00 noroot
biniou 1.0.6 noroot
camomile 0.8.5 noroot
cmdliner 0.9.2 noroot
cohttp 0.9.10 noroot
@amirmc
amirmc / amirmc.dot
Created November 13, 2013 16:02
Output from `opam upgrade --cudf=amirmc` Relevant to https://github.com/ocaml/opam/issues/985
digraph G {
"pgocaml (= 1.7)";
"ibx (= 0.5.1)";
"textutils (= 109.24.00)";
"oqamldebug (= 0.9.1)";
"async_extra (= 109.47.00)";
"patdiff (= 109.11.00)";
"ocp-build (= 1.99.1-beta)";
"pgocaml (= 1.6)";
"ocamldiff (= 1.1)";
@amirmc
amirmc / amirmc-2.cudf
Created November 13, 2013 16:00
Output from `opam upgrade --cudf=amirmc` Relevant to https://github.com/ocaml/opam/issues/985
#internal OPAM solver
preamble:
property: installed-root: bool = [false], reinstall: bool = [false], buildessential: bool = [false], essential: bool = [false], sourceversion: int = [1], sourcenumber: string = [""], source: string = [""], number: string, recommends: vpkgformula = [true!]
package: ibx
version: 58
depends: sexplib , fieldslib , core%5fextended < 331 , core >= 312 , async , ocamlfind
conflicts: ibx
number: 0.5.1
source: ibx
@amirmc
amirmc / amirmc-1.cudf
Created November 13, 2013 15:58
Output from `opam upgrade --cudf=amirmc` Relevant to https://github.com/ocaml/opam/issues/985
#internal OPAM solver
preamble:
property: installed-root: bool = [false], reinstall: bool = [false], buildessential: bool = [false], essential: bool = [false], sourceversion: int = [1], sourcenumber: string = [""], source: string = [""], number: string, recommends: vpkgformula = [true!]
package: ibx
version: 58
depends: sexplib , fieldslib , core%5fextended < 331 , core >= 312 , async , ocamlfind
conflicts: ibx
number: 0.5.1
source: ibx
@amirmc
amirmc / gist:7405042
Created November 10, 2013 22:55
Output from running `cd && make preview` -- trying to debug https://github.com/ocaml/ocaml.org/issues/230
AmirMacBook:ocaml.org amir$ cd src && make preview
ocamlfind ocamlopt -package netstring -linkpkg -annot -g "relative_urls.ml" -o "relative_urls"
rm -f relative_urls.o relative_urls.cmi relative_urls.cmx relative_urls.annot
make all
ocamlopt -o ocamltohtml lexer.ml ocamltohtml.ml
rm -f ocamltohtml.o ocamltohtml.cm[ix] lexer.o lexer.cm[ix]
make ocaml.org
make[2]: `ocaml.org' is up to date.
bash gen.bash site
make[2]: `ocaml.org/caml-light/faq.html' is up to date.
@amirmc
amirmc / console_output
Created April 2, 2013 12:42
binou.1.0.5 error during opam upgrade
AmirMacBook$ opam update
Synchronizing <root>/repo/default with http://opam.ocamlpro.com.
The following NEW packages are available:
- crypt.1.0
- crypt.1.1
- gammu.0.9.1
- imagemagick.0.34
- stone.0.1
- stone.0.2
- why3.0.81
@amirmc
amirmc / gist:4943496
Created February 13, 2013 09:59
Wrong checksum for core 109.08.00 via `opam install core`
amir$ opam install core
The following actions will be performed:
- install ocamlfind.1.3.3 [required by core]
- install ounit.1.1.2 [required by core]
- install res.3.2.0 [required by core]
- install type_conv.109.08.00 [required by core]
- install bin_prot.109.08.00 [required by core]
- install comparelib.109.08.00 [required by core]
- install fieldslib.109.08.00 [required by core]
- install pa_ounit.109.08.00 [required by core]
@amirmc
amirmc / opam-update-issue
Created December 18, 2012 12:52
Problem with `opam update` - something somewhere didn't properly update (specifically the github package'). This is pretty much the entire console output with only a few bits snipped out where I refreshed a repo and moved a folder. Should be straightforward to see what I did.
<prompt> amir$ opam update
Synchronizing with http://opam.ocamlpro.com ...
New compiler descriptions available:
- 3.12.1+natdynlink-osx
- 4.00.1+french
- 4.00.1+mirage-unix
- 4.00.1+mirage-xen
- 4.01.0dev+endian
Some compilers are not available anymore:
- 4.00.0+jocaml