Closed dbuenzli closed 10 years ago
Those in desperate need of ocp-indent
can do a
opam pin add ocp-indent https://github.com/dbuenzli/ocp-indent.git
Hacked without trying to understand, no guarantees.
That didn't fix it for me. First it tries to install ocp-indent.0.6.1.
> opam config report
# OPAM status report
# opam-version 1.2.0~beta4
# self-upgrade no
# os darwin
# external-solver true
# jobs 1
# repositories 1* (http)
# pinned 10 (version control)
# current-switch system*
# last-update 2014-08-26 09:35
> opam remove ocp-indent ocp-build
[NOTE] ocp-indent and ocp-build are not installed.
Nothing to do.
> opam install ocp-indent
The following actions will be performed:
- install ocp-indent.0.6.1
=== + 1 ===
🐫 --- Synchronizing package archives ---
🐫 --- Installing packages ---
Building ocp-indent.0.6.1:
./configure --prefix /Users/dbuenzli/.opam/system
ocamlbuild src/main.native
cp -f _build/src/main.native ./ocp-indent
cp -f _build/src/main.native /Users/dbuenzli/.opam/system/bin/ocp-indent
mkdir -p /Users/dbuenzli/.opam/system/share/typerex/ocp-indent
cp -f tools/ocp-indent.el /Users/dbuenzli/.opam/system/share/typerex/ocp-indent/
^C[ERROR] User interruption
The if I try explictily to ask for 1.4.1:
> opam install ocp-indent.1.4.1
The following actions will be performed:
- install ocp-build.1.99.6-beta [required by ocp-indent]
- install ocp-indent.1.4.1
=== + 2 ===
Do you want to continue ? [Y/n] Y
🐫 --- Synchronizing package archives ---
🐫 --- Installing packages ---
Installing ocp-build.1.99.6-beta.
Building ocp-indent.1.4.1:
./configure --prefix /Users/dbuenzli/.opam/system
make
[ERROR] The compilation of ocp-indent.1.4.1 failed.
Removing ocp-indent.1.4.1.
Nothing to do.
#================== ERROR while installing ocp-indent.1.4.1 ===================#
# opam-version 1.2.0~beta4
# os darwin
# command make
# path /Users/dbuenzli/.opam/system/build/ocp-indent.1.4.1
# compiler system (4.01.0)
# exit-code 2
# env-file /Users/dbuenzli/.opam/system/build/ocp-indent.1.4.1/ocp-indent-68176-ad8886.env
# stdout-file /Users/dbuenzli/.opam/system/build/ocp-indent.1.4.1/ocp-indent-68176-ad8886.out
# stderr-file /Users/dbuenzli/.opam/system/build/ocp-indent.1.4.1/ocp-indent-68176-ad8886.err
### stdout ###
# ...[truncated]
# checking for ocamldep... ocamldep
# checking for ocamlmktop... ocamlmktop
# checking for ocamlmklib... ocamlmklib
# checking for ocamldoc... ocamldoc
# checking for ocamlbuild... ocamlbuild
# configure: creating ./config.status
# config.status: creating Makefile.config
# config.status: creating version.ocp
#
# Executables will be installed in /Users/dbuenzli/.opam/system/bin
### stderr ###
# Error: you need ocp-build >= 1.99.
# make: *** [ocp-build.root] Error 1
Well actually it's like it pretents ocp-build
is installed but it's not:
> opam install ocp-build
[NOTE] Package ocp-build is already installed (current version is 1.99.6-beta).
> ocp-build
-bash: ocp-build: command not found
Here's the install in --debug
mode:
> opam install --debug ocp-build.1.99.6-beta
00:00.004 069247 SYSTEM locking /Users/dbuenzli/.opam/lock
00:00.005 069247 STATE LOAD-STATE(switch-lock)
00:00.009 069247 CUDF Checking version of criteria accepted by the external solver
00:00.028 069247 SYSTEM [log-69247-4438d8] (in 0.002s) aspcud -v
00:00.028 069247 CUDF Seems to be an older version: using compat criteria
00:00.040 069247 STATE Loaded /Users/dbuenzli/.opam/state.cache in 0.012s
00:00.078 069247 STATE ROOT : /Users/dbuenzli/.opam
00:00.078 069247 STATE SWITCH : system
00:00.078 069247 STATE COMPILER : system
00:00.078 069247 STATE COMPILERS : { 3.11.2, 3.12.1, 4.00.0, 4.00.0+debug-runtime, 4.00.0+fp, 4.00.1, 4.00.1+BER, 4.00.1+alloc-profiling, 4.00.1+annot, 4.00.1+french, 4.00.1+mirage-unix, 4.00.1+mirage-xen, 4.00.1+open-types, 4.00.1+raspberrypi, 4.00.1+short-types, 4.01.0, 4.01.0+32bit, 4.01.0+BER, 4.01.0+PIC, 4.01.0+armv6-freebsd, 4.01.0+bin-ocp, 4.01.0+fp, 4.01.0+jocaml, 4.01.0+lsb, 4.01.0+musl, 4.01.0+musl+static, 4.01.0+open-types, 4.01.0+profile, 4.01.0dev+extension-points, 4.01.0dev+fp, 4.01.0dev+trunk, 4.02.0+rc1, 4.02.0+trunk, 4.03.0+fp, 4.03.0+pr25, 4.03.0+pr26, 4.03.0+pr29, 4.03.0+pr30, 4.03.0+pr36, 4.03.0+pr37, 4.03.0+pr42, 4.03.0+pr43, 4.03.0+pr46, 4.03.0+pr51, 4.03.0+pr57, 4.03.0+pr63, 4.03.0+pr65, 4.03.0+pr68, 4.03.0+pr69, 4.03.0+pr71, 4.03.0+pr73, 4.03.0+pr76, 4.03.0+pr78, 4.03.0+pr79, 4.03.0+pr80, 4.03.0+pr81, 4.03.0+pr82, 4.03.0+pr83, 4.03.0+pr84, 4.03.0+pr88, 4.03.0+pr89, 4.03.0+pr90, 4.03.0+pr91, 4.03.0+pr92, 4.03.0+trunk, system }
00:00.078 069247 STATE REPOS : { default }
00:00.078 069247 STATE PACKAGES : 2610 packages
00:00.078 069247 STATE INSTALLED : { assemblage.0.1, base-bigarray.base, base-bytes.legacy, base-threads.base, base-unix.base, biniou.1.0.9, camlp4.4.01.0, camomile.0.8.5, cmdliner.0.9.5, comparelib.109.60.00, cppo.0.9.4, ctypes.0.3.3, dicomm.0, dumpast.0.1.0, easy-format.1.0.2, ezjsonm.0.2.0, fut.0, gg.0.9.0, js_of_ocaml.2.4, jsonm.0.9.1, lambda-term.1.6, lwt.2.4.5, menhir.20130912, merlin.1.6, ocamlfind.1.5.2, ocamlgraph.1.8.5, optcomp.1.6, otfm.0.2.0, ounit.2.0.0, pkgopkg.0, qcheck.0.2, re.1.2.2, react.1.1.0, rtime.0.9.3, sexplib.111.25.00, tgls.0.8.2, tsdl.0.8.1, type_conv.111.13.00, typerex.1.99.6-beta, useri.0, utop.1.14, uucp.0.9.0, uuidm.0.9.5, uutf.0.9.3, vg.0.8.0, webglue.0, xmlm.1.2.0, yojson.1.1.8, zed.1.3 }
00:00.078 069247 STATE ROOTS : { assemblage.0.1, base-bigarray.base, base-threads.base, base-unix.base, comparelib.109.60.00, dicomm.0, ezjsonm.0.2.0, fut.0, gg.0.9.0, js_of_ocaml.2.4, merlin.1.6, otfm.0.2.0, ounit.2.0.0, pkgopkg.0, qcheck.0.2, react.1.1.0, rtime.0.9.3, sexplib.111.25.00, tgls.0.8.2, tsdl.0.8.1, useri.0, utop.1.14, uucp.0.9.0, vg.0.8.0, webglue.0, xmlm.1.2.0 }
00:00.078 069247 STATE REINSTALL : {}
00:00.078 069247 STATE State switch-lock loaded in 0.053s
00:00.092 069247 SYSTEM [log-69247-dd682e] (in 0.002s) ocamlc -version
00:00.093 069247 SYSTEM locking /Users/dbuenzli/.opam/system/lock
00:00.093 069247 STATE LOAD-STATE(install)
00:00.102 069247 STATE Loaded /Users/dbuenzli/.opam/state.cache in 0.010s
00:00.139 069247 STATE ROOT : /Users/dbuenzli/.opam
00:00.139 069247 STATE SWITCH : system
00:00.139 069247 STATE COMPILER : system
00:00.139 069247 STATE COMPILERS : { 3.11.2, 3.12.1, 4.00.0, 4.00.0+debug-runtime, 4.00.0+fp, 4.00.1, 4.00.1+BER, 4.00.1+alloc-profiling, 4.00.1+annot, 4.00.1+french, 4.00.1+mirage-unix, 4.00.1+mirage-xen, 4.00.1+open-types, 4.00.1+raspberrypi, 4.00.1+short-types, 4.01.0, 4.01.0+32bit, 4.01.0+BER, 4.01.0+PIC, 4.01.0+armv6-freebsd, 4.01.0+bin-ocp, 4.01.0+fp, 4.01.0+jocaml, 4.01.0+lsb, 4.01.0+musl, 4.01.0+musl+static, 4.01.0+open-types, 4.01.0+profile, 4.01.0dev+extension-points, 4.01.0dev+fp, 4.01.0dev+trunk, 4.02.0+rc1, 4.02.0+trunk, 4.03.0+fp, 4.03.0+pr25, 4.03.0+pr26, 4.03.0+pr29, 4.03.0+pr30, 4.03.0+pr36, 4.03.0+pr37, 4.03.0+pr42, 4.03.0+pr43, 4.03.0+pr46, 4.03.0+pr51, 4.03.0+pr57, 4.03.0+pr63, 4.03.0+pr65, 4.03.0+pr68, 4.03.0+pr69, 4.03.0+pr71, 4.03.0+pr73, 4.03.0+pr76, 4.03.0+pr78, 4.03.0+pr79, 4.03.0+pr80, 4.03.0+pr81, 4.03.0+pr82, 4.03.0+pr83, 4.03.0+pr84, 4.03.0+pr88, 4.03.0+pr89, 4.03.0+pr90, 4.03.0+pr91, 4.03.0+pr92, 4.03.0+trunk, system }
00:00.139 069247 STATE REPOS : { default }
00:00.139 069247 STATE PACKAGES : 2610 packages
00:00.139 069247 STATE INSTALLED : { assemblage.0.1, base-bigarray.base, base-bytes.legacy, base-threads.base, base-unix.base, biniou.1.0.9, camlp4.4.01.0, camomile.0.8.5, cmdliner.0.9.5, comparelib.109.60.00, cppo.0.9.4, ctypes.0.3.3, dicomm.0, dumpast.0.1.0, easy-format.1.0.2, ezjsonm.0.2.0, fut.0, gg.0.9.0, js_of_ocaml.2.4, jsonm.0.9.1, lambda-term.1.6, lwt.2.4.5, menhir.20130912, merlin.1.6, ocamlfind.1.5.2, ocamlgraph.1.8.5, optcomp.1.6, otfm.0.2.0, ounit.2.0.0, pkgopkg.0, qcheck.0.2, re.1.2.2, react.1.1.0, rtime.0.9.3, sexplib.111.25.00, tgls.0.8.2, tsdl.0.8.1, type_conv.111.13.00, typerex.1.99.6-beta, useri.0, utop.1.14, uucp.0.9.0, uuidm.0.9.5, uutf.0.9.3, vg.0.8.0, webglue.0, xmlm.1.2.0, yojson.1.1.8, zed.1.3 }
00:00.139 069247 STATE ROOTS : { assemblage.0.1, base-bigarray.base, base-threads.base, base-unix.base, comparelib.109.60.00, dicomm.0, ezjsonm.0.2.0, fut.0, gg.0.9.0, js_of_ocaml.2.4, merlin.1.6, otfm.0.2.0, ounit.2.0.0, pkgopkg.0, qcheck.0.2, react.1.1.0, rtime.0.9.3, sexplib.111.25.00, tgls.0.8.2, tsdl.0.8.1, useri.0, utop.1.14, uucp.0.9.0, vg.0.8.0, webglue.0, xmlm.1.2.0 }
00:00.139 069247 STATE REINSTALL : {}
00:00.139 069247 STATE State install loaded in 0.046s
00:00.139 069247 FILE(export) Wrote ~/.opam/system/backup/state-20140726095440.export in 0.000s
00:00.159 069247 CLIENT INSTALL ocp-build.1.99.6-beta
00:00.191 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/camltc/opam.config
00:00.191 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/camltc/opam.config
00:00.191 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/camltc/opam.config
00:00.191 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/camltc/opam.config
00:00.191 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/camltc/opam.config
00:00.191 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/camltc/opam.config
00:00.195 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/gadelac/opam.config
00:00.195 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/gadelac/opam.config
00:00.200 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/ocp-ocamlres/opam.config
00:00.201 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/ocp-ocamlres/opam.config
00:00.201 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/ocp-ocamlres/opam.config
00:00.201 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/opam-doc/opam.config
00:00.201 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/opam-doc/opam.config
00:00.201 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/opam-doc/opam.config
00:00.202 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/opam-doc/opam.config
00:00.202 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/opam-doc/opam.config
00:00.202 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/opam-doc/opam.config
00:00.202 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/opam-doc/opam.config
00:00.202 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/opam-doc/opam.config
00:00.204 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/sarek/opam.config
00:00.205 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/spoc/opam.config
00:00.206 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/ucorelib/opam.config
00:00.207 069247 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/lib/xenbigarray/opam.config
00:00.208 069247 SOLVER cudf_versions_map
00:00.208 069247 SOLVER Load cudf universe (depopts:true, build:true)
00:00.209 069247 SOLVER filter_dependencies packages={ ocp-build.1.99.6-beta } result={ ocp-build.1.99.6-beta }
00:00.217 069247 CLIENT Orphans: full {}, versions {}
00:00.251 069247 SOLVER resolve request=install:(ocp-build (= 1.99.6-beta)) remove:() upgrade:()
00:00.251 069247 SOLVER cudf_versions_map
00:00.266 069247 SOLVER Load cudf universe (depopts:false, build:true)
00:00.354 069247 CUDF resolve request=install:(ocp-build (= 8)) remove:() upgrade:() criteria:"-removed,-notuptodate,-changed"
clasp version 2.1.4
Reading from ...45bmy7bc0000gn/T//outrYQfJv/gringo_out
Solving...
Answer: 4
in("ocp-build",8) in("base-bytes",1) in("merlin",1) in("base-unix",1) in("optcomp
OPTIMUM FOUND
Models : 1
Enumerated: 4
Optimum : yes
Optimization: 0 1 1
Time : 0.030s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.020s
Choices : 180
Conflicts : 1
Restarts : 0
Atoms : 23746
Rules : 26193 (1: 25964 2: 23 3: 203 6: 3)
Bodies : 1172
Equivalences: 47992 (Atom=Atom: 23244 Body=Body: 448 Other: 24300)
Tight : Yes
Variables : 728 (Eliminated: 191 Frozen: 280)
Constraints : 1424 (Binary: 92.8% Ternary: 1.9% Other: 5.3%)
Lemmas : 1 (Binary: 0.0% Ternary: 0.0% Other:100.0%)
Conflict : 1 (Average Length: 7.0)
Loop : 0 (Average Length: 0.0)
Other : 0 (Average Length: 0.0)
Deleted : 0
Backtracks : 0
Backjumps : 1 (Bounded: 0)
Skippable Levels : 27 (Skipped: 27 Rate: 100.0%)
Max Jump Length : 27 (Executed: 27)
Max Bound Length : 0
Average Jump Length : 27.0 (Executed: 27.0)
Average Bound Length: 0.0
Average Model Length: 47.5
/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:150:57-76: warning: atom is undefined:
recommends(P,V,D,W)
/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:148:57-75: warning: atom is undefined:
attribute(P,V,A,X)
/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:138:57-76: warning: atom is undefined:
recommends(P,V,D,W)
/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:164:42-61: warning: atom is undefined:
recommends(P,V,D,W)
/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:161:63-81: warning: atom is undefined:
attribute(P,V,A,X)
/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:109:50-68: warning: atom is undefined:
attribute(P,V,A,X)
/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:109:70-88: warning: atom is undefined:
attribute(P,V,B,Y)
/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:30:22-41: warning: atom is undefined:
recommends(P,V,D,W)
00:00.773 069247 SYSTEM [log-69247-7afd23] (in 0.004s) aspcud /Users/dbuenzli/.opam/log/solver-in-69247-42bb52 /Users/dbuenzli/.opam/log/solver-out-69247-9b8556 -removed,-notuptodate,-changed
00:00.773 069247 SYSTEM rm /Users/dbuenzli/.opam/log/solver-in-69247-42bb52
00:00.774 069247 SYSTEM rm /Users/dbuenzli/.opam/log/solver-out-69247-9b8556
00:00.784 069247 SOLVER Load cudf universe (depopts:false, build:true)
00:00.881 069247 SOLVER Load cudf universe (depopts:true, build:false)
00:01.050 069247 SOLVER Load cudf universe (depopts:true, build:true)
00:01.234 069247 CUDF graph_of_actions root_actions={ - install ocp-build.8 }
00:01.236 069247 SOLUTION apply
digraph G {
"install ocp-build.1.99.6-beta";
}The following actions will be performed:
- install ocp-build.1.99.6-beta
=== + 1 ===
🐫 --- Synchronizing package archives ---
00:01.317 069247 PARALLEL Iterate over 1 task(s) with 3 process(es)
00:01.318 069247 PARALLEL Creating process 69301
00:01.318 069247 PARALLEL waiting for a child process to finish
00:01.318 069301 PARALLEL Spawning a new process
00:01.318 069301 ACTION download_package: ocp-build.1.99.6-beta
00:01.318 069301 STATE get_archive ocp-build.1.99.6-beta
00:01.318 069301 CURL pull-archive
00:01.319 069301 PARALLEL OK
00:01.319 069247 PARALLEL 69301 is dead (exit 0)
00:01.319 069247 PARALLEL loop completed (without errors)
00:01.320 069247 FILE(installed) Wrote ~/.opam/system/installed in 0.000s
00:01.320 069247 FILE(installed.roots) Wrote ~/.opam/system/installed.roots in 0.000s
00:01.320 069247 FILE(reinstall) Wrote ~/.opam/system/reinstall in 0.000s
🐫 --- Installing packages ---
00:01.320 069247 PARALLEL Iterate over 1 task(s) with 1 process(es)
00:01.323 069247 PARALLEL Creating process 69302
00:01.323 069247 PARALLEL waiting for a child process to finish
00:01.323 069302 PARALLEL Spawning a new process
00:01.323 069302 ACTION extract_package: ocp-build.1.99.6-beta
00:01.323 069302 FILENAME rmdir /Users/dbuenzli/.opam/system/build/ocp-build.1.99.6-beta
00:01.324 069302 ACTION No files found in /Users/dbuenzli/.opam/packages.dev/ocp-build.1.99.6-beta
00:01.324 069302 SYSTEM mkdir /Users/dbuenzli/.opam/system/build/ocp-build.1.99.6-beta
Installing ocp-build.1.99.6-beta.
00:01.325 069302 FILE(.config) Cannot find /Users/dbuenzli/.opam/system/build/ocp-build.1.99.6-beta/ocp-build.config
00:01.325 069302 FILE(.install) Cannot find /Users/dbuenzli/.opam/system/build/ocp-build.1.99.6-beta/ocp-build.install
00:01.325 069302 FILE(.install) Wrote ~/.opam/system/install/ocp-build.install in 0.000s
00:01.325 069302 SYSTEM mkdir /Users/dbuenzli/.opam/system/lib/ocp-build
00:01.325 069302 FILE(.config) Wrote ~/.opam/system/lib/ocp-build/opam.config in 0.000s
00:01.325 069302 ACTION creating /Users/dbuenzli/.opam/system/share/ocp-build
00:01.325 069302 SYSTEM mkdir /Users/dbuenzli/.opam/system/share/ocp-build
00:01.325 069302 ACTION creating /Users/dbuenzli/.opam/system/etc/ocp-build
00:01.325 069302 SYSTEM mkdir /Users/dbuenzli/.opam/system/etc/ocp-build
00:01.325 069302 ACTION creating /Users/dbuenzli/.opam/system/doc/ocp-build
00:01.325 069302 SYSTEM mkdir /Users/dbuenzli/.opam/system/doc/ocp-build
00:01.325 069302 PARALLEL OK
00:01.326 069247 PARALLEL 69302 is dead (exit 0)
00:01.327 069247 FILE(installed) Wrote ~/.opam/system/installed in 0.000s
00:01.327 069247 FILE(installed.roots) Wrote ~/.opam/system/installed.roots in 0.000s
00:01.327 069247 FILE(reinstall) Wrote ~/.opam/system/reinstall in 0.000s
00:01.327 069247 SYSTEM mkdir /Users/dbuenzli/.opam/packages/ocp-build
00:01.328 069247 SYSTEM mkdir /Users/dbuenzli/.opam/packages/ocp-build/ocp-build.1.99.6-beta
00:01.328 069247 FILE(opam) Wrote ~/.opam/packages/ocp-build/ocp-build.1.99.6-beta/opam in 0.000s
00:01.328 069247 FILE(descr) Wrote ~/.opam/packages/ocp-build/ocp-build.1.99.6-beta/descr in 0.000s
00:01.328 069247 PARALLEL loop completed (without errors)
00:01.328 069247 SYSTEM rm /Users/dbuenzli/.opam/system/backup/state-20140726095440.export
00:01.328 069247 SYSTEM Lock released on /Users/dbuenzli/.opam/system/lock
00:01.328 069247 SYSTEM Lock released on /Users/dbuenzli/.opam/lock
@dbuenzli see #2503: typerex 1.99.6 and ocp-build 1.99.8 were overriding each other's installed files. Documenting the conflict should avoid the issue ; in your case reinstalling typerex would do.
Ok thanks. Will try. I think you should really consider that comment in the future.
(I meant you as in OCamlPro)
See this comment.