Skip to content

Instantly share code, notes, and snippets.

@y-yu
Created April 3, 2021 09:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save y-yu/c107484fd5a8684251d2e932edb9dd64 to your computer and use it in GitHub Desktop.
Save y-yu/c107484fd5a8684251d2e932edb9dd64 to your computer and use it in GitHub Desktop.
$ opam pin add --verbose --yes "."
This will pin the following packages: satysfi-satysfi-start, satysfi-satysfi-start-doc. Continue? [Y/n] y
[NOTE] Package satysfi-satysfi-start is already pinned to file:///Users/yyu/Desktop/satysfi/satysfi-start/satysfi-start (version 1.0.0).
[satysfi-satysfi-start.1.0.0] no changes from file:///Users/yyu/Desktop/satysfi/satysfi-start/satysfi-start
satysfi-satysfi-start is now pinned to file:///Users/yyu/Desktop/satysfi/satysfi-start/satysfi-start (version 1.0.0)
[NOTE] Package satysfi-satysfi-start-doc is already pinned to file:///Users/yyu/Desktop/satysfi/satysfi-start/satysfi-start (version 1.0.0).
[satysfi-satysfi-start-doc.1.0.0] no changes from file:///Users/yyu/Desktop/satysfi/satysfi-start/satysfi-start
satysfi-satysfi-start-doc is now pinned to file:///Users/yyu/Desktop/satysfi/satysfi-start/satysfi-start (version 1.0.0)
The following actions will be performed:
∗ install satysfi-satysfi-start-doc 1.0.0*
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><> 🐫
+ /Users/yyu/.opam/opam-init/hooks/sandbox.sh "build" "satyrographos" "opam" "build" "--name" "satysfi-start-doc" "--prefix" "/Users/yyu/.opam/default" "--script" "/Users/yyu/.opam/default/.opam-switch/build/satysfi-satysfi-start-doc.1.0.0/Satyristes" (CWD=/Users/yyu/.opam/default/.opam-switch/build/satysfi-satysfi-start-doc.1.0.0)
- Reading runtime dist: /Users/yyu/.opam/default/share/satysfi/dist
- Read user libraries: ()
- Reading opam libraries: (base dist fonts-dejavu satysfi-start zrbase)
- Overriding dist with user installed one
- Uncaught exception:
-
- (Failure "Missing dependencies: (test)")
-
- Raised at Shexp_process__Process.With_debug.exec in file "process-lib/src/process.ml", line 412, characters 11-22
- Called from Shexp_process__Process.Traced.eval_exn in file "process-lib/src/process.ml", line 516, characters 14-54
- Called from Satyrographos_command__Build.build.build in file "src/command/build.ml", line 78, characters 6-148
- Called from Dune__exe__CommandOpam.opam_with_build_module_command.(fun) in file "bin/commandOpam.ml", line 29, characters 10-128
- Called from Core_kernel__Command.For_unix.run.(fun) in file "src/command.ml", line 2453, characters 8-238
- Called from Base__Exn.handle_uncaught_aux in file "src/exn.ml", line 111, characters 6-10
[ERROR] The compilation of satysfi-satysfi-start-doc failed at "/Users/yyu/.opam/opam-init/hooks/sandbox.sh build satyrographos opam build --name satysfi-start-doc --prefix
/Users/yyu/.opam/default --script /Users/yyu/.opam/default/.opam-switch/build/satysfi-satysfi-start-doc.1.0.0/Satyristes".
#=== ERROR while compiling satysfi-satysfi-start-doc.1.0.0 ====================#
# context 2.0.8 | macos/x86_64 | ocaml-base-compiler.4.12.0 | pinned(file:///Users/yyu/Desktop/satysfi/satysfi-start/satysfi-start)
# path ~/.opam/default/.opam-switch/build/satysfi-satysfi-start-doc.1.0.0
# command ~/.opam/opam-init/hooks/sandbox.sh build satyrographos opam build --name satysfi-start-doc --prefix /Users/yyu/.opam/default --script /Users/yyu/.opam/default/.opam-switch/build/satysfi-satysfi-start-doc.1.0.0/Satyristes
# exit-code 1
# env-file ~/.opam/log/satysfi-satysfi-start-doc-81581-1872ec.env
# output-file ~/.opam/log/satysfi-satysfi-start-doc-81581-1872ec.out
### output ###
# [...]
# Reading opam libraries: (base dist fonts-dejavu satysfi-start zrbase)
# Overriding dist with user installed one
# Uncaught exception:
#
# (Failure "Missing dependencies: (test)")
#
# Raised at Shexp_process__Process.With_debug.exec in file "process-lib/src/process.ml", line 412, characters 11-22
# Called from Shexp_process__Process.Traced.eval_exn in file "process-lib/src/process.ml", line 516, characters 14-54
# Called from Satyrographos_command__Build.build.build in file "src/command/build.ml", line 78, characters 6-148
# Called from Dune__exe__CommandOpam.opam_with_build_module_command.(fun) in file "bin/commandOpam.ml", line 29, characters 10-128
# Called from Core_kernel__Command.For_unix.run.(fun) in file "src/command.ml", line 2453, characters 8-238
# Called from Base__Exn.handle_uncaught_aux in file "src/exn.ml", line 111, characters 6-10
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><> 🐫
┌─ The following actions failed
│ λ build satysfi-satysfi-start-doc 1.0.0
└─
╶─ No changes have been performed
[NOTE] Pinning command successful, but your installed packages may be out of sync.
'opam pin add --verbose --yes .' failed.
opam pin add --verbose --yes "." 2.64s user 0.36s system 98% cpu 3.040 total
;; For Satyrographos 0.0.2 series
(version 0.0.2)
;; Library declaration
(library
;; Library name
(name "satysfi-start")
;; Library version
(version "1.0.0")
;; Files
(sources
((packageDir "src")))
;; OPAM package file
(opam "satysfi-satysfi-start.opam")
;; Dependency
(dependencies
((dist ()) ; Standard library
(base ()) ; Base library
(assert-eq ()) ; assert
)))
;; Library doc declaration
(libraryDoc
;; Library doc name
(name "satysfi-start-doc")
;; Library version
(version "1.0.0")
;; Working directory to build docs
(workingDirectory "doc")
;; Build commands
(build
;; Run SATySFi
((satysfi "manual.saty" "-o" "manual.pdf")))
;; Files
(sources
((doc "manual.pdf" "doc/manual.pdf")))
;; OPAM package file
(opam "satysfi-satysfi-start-doc.opam")
;; Dependency
(dependencies
((satysfi-start ()) ; the main library
(dist ()) ; Standard library
(base ()) ; Base library
)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment