Skip to content

Commit

Permalink
Recompute source digest instead of using build-uid
Browse files Browse the repository at this point in the history
  • Loading branch information
Fabrice Le Fessant committed Jul 27, 2020
1 parent 7ff01ad commit a172edc
Show file tree
Hide file tree
Showing 12 changed files with 491 additions and 291 deletions.
8 changes: 4 additions & 4 deletions scripts/test-altergo.sh
Original file line number Diff line number Diff line change
Expand Up @@ -13,8 +13,8 @@ call ./opam-bin clean
call opam update local-bin

call opam switch remove opam_bin -y
call opam switch create opam_bin 4.07.1
call opam install alt-ergo -y
call opam switch create opam_bin 4.07.1 -j 1
call opam install alt-ergo -y -j 1
rm -rf $HOME/.opam/opam_bin.backup
cp -dpR $HOME/.opam/opam_bin $HOME/.opam/opam_bin.backup
mv $HOME/.opam/_opam-bin/opam-bin.log $HOME/.opam/opam_bin.backup/opam-bin.log
Expand All @@ -25,6 +25,6 @@ call ./opam-bin clean log
call opam update local-bin
call opam switch remove test_bin -y
export OPAM_BIN_FORCE=1
call opam switch create test_bin 4.07.1
call opam install alt-ergo -y
call opam switch create test_bin 4.07.1 -j 1
call opam install alt-ergo -y -j 1

5 changes: 3 additions & 2 deletions src/opambin.ml
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,7 @@ let () =
commands
with
exn ->
OpambinMisc.global_log "fatal exception %s"
(Printexc.to_string exn);
let error = Printexc.to_string exn in
OpambinMisc.global_log "fatal exception %s" error ;
Printf.eprintf "fatal exception %s" error ;
exit 2
12 changes: 6 additions & 6 deletions src/opambinCommandInstall.ml
Original file line number Diff line number Diff line change
Expand Up @@ -46,22 +46,22 @@ let action () =
Some (
List.rev @@
OpambinMisc.opam_variable "pre-build-commands"
{| ["%s" "pre-build" name version build-id depends] {?build-id} |}
{| ["%s" "pre-build" name version depends] {?build-id} |}
OpambinGlobals.opambin_bin ::
OpambinMisc.opam_variable "wrap-build-commands"
{| ["%s" "wrap-build" name version build-id depends "--"] {?build-id} |}
{| ["%s" "wrap-build" name version depends "--"] {?build-id} |}
OpambinGlobals.opambin_bin ::
OpambinMisc.opam_variable "pre-install-commands"
{| ["%s" "pre-install" name version build-id depends] {?build-id} |}
{| ["%s" "pre-install" name version depends] {?build-id} |}
OpambinGlobals.opambin_bin ::
OpambinMisc.opam_variable "wrap-install-commands"
{| ["%s" "wrap-install" name version build-id depends "--"] {?build-id} |}
{| ["%s" "wrap-install" name version depends "--"] {?build-id} |}
OpambinGlobals.opambin_bin ::
OpambinMisc.opam_variable "post-install-commands"
{| ["%s" "post-install" name version build-id depends installed-files] {?build-id & error-code = 0} |}
{| ["%s" "post-install" name version depends installed-files] {?build-id & error-code = 0} |}
OpambinGlobals.opambin_bin ::
OpambinMisc.opam_variable "pre-remove-commands"
{| ["%s" "pre-remove" name version build-id depends] {?build-id} |}
{| ["%s" "pre-remove" name version depends] {?build-id} |}
OpambinGlobals.opambin_bin ::
List.rev file_contents
)
Expand Down
Loading

0 comments on commit a172edc

Please sign in to comment.