Travis: Run apt update before calling apt install#840
Travis: Run apt update before calling apt install#840g2p wants to merge 1 commit intomirage:masterfrom
Conversation
| @@ -1,4 +1,5 @@ | |||
| eval `opam config env` | |||
| sudo apt update | |||
There was a problem hiding this comment.
normally the depext -u below should run apt update:
$ opam depext --help
-u, --update
Update the OS package sets before installation
Do you have some logs where this is broken?
There was a problem hiding this comment.
Oh, good point. Here's my log: https://travis-ci.org/mirage/mirage/jobs/244219628. It's not triggered the first time because the packages are already there, and after that the flag is missing.
There was a problem hiding this comment.
Looks like it should be added to mirage-skeleton depext calls then.
There was a problem hiding this comment.
Oh wait, it has to be added to a make depend target that's generated by mirage itself.
There was a problem hiding this comment.
See #841. It's a more intrusive change but probably the right thing to do.
This is more reliable. The update won't be triggered if all packages are installed. Alternative to mirage#840.
This is more reliable. The update won't be triggered if all packages are installed. Alternative to mirage#840.
|
Running apt update is currently broken due to the Stretch release (testing is now an alias for buster and not stretch, and that breaks things — https://travis-ci.org/mirage/mirage/jobs/244459518). |
|
I'm taking a look at the Docker base images. |
This is more reliable. The update won't be triggered if all packages are installed. Alternative to mirage#840.
|
Closing as the other PR is now in. |
No description provided.