Skip to content

Commit

Permalink
TEMPORARY: possible sledgehammer for reftests
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jun 6, 2024
1 parent 259980b commit 480d436
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 16 deletions.
30 changes: 15 additions & 15 deletions tests/reftests/dune.inc
Original file line number Diff line number Diff line change
Expand Up @@ -1538,7 +1538,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-N0REP0})))))

(rule
Expand All @@ -1559,7 +1559,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-0070613707})))))

(rule
Expand All @@ -1580,7 +1580,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-009e00fa})))))

(rule
Expand All @@ -1601,7 +1601,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-11ea1cb})))))

(rule
Expand All @@ -1622,7 +1622,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-297366c})))))

(rule
Expand All @@ -1643,7 +1643,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-3235916})))))

(rule
Expand All @@ -1664,7 +1664,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-7090735c})))))

(rule
Expand All @@ -1685,7 +1685,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-7371c1d9})))))

(rule
Expand All @@ -1706,7 +1706,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-a5d7cdc0})))))

(rule
Expand All @@ -1727,7 +1727,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-ad4dd344})))))

(rule
Expand All @@ -1748,7 +1748,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-c1842d168d})))))

(rule
Expand All @@ -1769,7 +1769,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-c1ba97dafe95c865d37ad4d88f6e57c9ffbe7f0a})))))

(rule
Expand All @@ -1790,7 +1790,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-c1d23f0e})))))

(rule
Expand All @@ -1811,7 +1811,7 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-de897adf36c4230dfea812f40c98223b31c4521a})))))

(rule
Expand All @@ -1832,5 +1832,5 @@
(progn
(ignore-stdout
(run %{bin:opam} init --root=%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%{dep:opam-repo-f372039d})))))
2 changes: 1 addition & 1 deletion tests/reftests/gen.ml
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ let opam_init_rule archive_hash =
(progn
(ignore-stdout
(run %%{bin:opam} init --root=%%{targets}
--no-setup --bypass-checks --no-opamrc --bare
--no-setup --no-cygwin-setup --bypass-checks --no-opamrc --bare
file://%%{dep:%s})))))
|} (opamroot_directory ~archive_hash) (repo_directory ~archive_hash)

Expand Down

0 comments on commit 480d436

Please sign in to comment.