Skip to content

Instantly share code, notes, and snippets.

@Khady
Created August 22, 2018 09:02
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save Khady/587a5e52679610b6aecfc4dbbd95e54d to your computer and use it in GitHub Desktop.
Save Khady/587a5e52679610b6aecfc4dbbd95e54d to your computer and use it in GitHub Desktop.
Opam configuration for both sandbox and compilation cache
pre-install-commands:
["opam-bin-cache.sh" "restore" build-id name] {?build-id}
wrap-build-commands: [
["opam-bin-cache.sh" "wrap" build-id] {?build-id}
["%{hooks}%/sandbox.sh" "build"] {os = "linux"}
]
wrap-install-commands: [
["opam-bin-cache.sh" "wrap" build-id] {?build-id}
["%{hooks}%/sandbox.sh" "install"] {os = "linux"}
]
wrap-remove-commands: ["%{hooks}%/sandbox.sh" "remove"] {os = "linux"}
post-install-commands:
["opam-bin-cache.sh" "store" build-id installed-files]
{?build-id & error-code = "0"}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment