Allow 'docker' to be manually set to podman

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

12 stars 39 forks source link

Allow 'docker' to be manually set to podman #28

Closed xurtis closed 3 years ago

xurtis commented 4 years ago

For RedHat family linux distributions, podman is easier invoked directly so this allows the 'docker' program to be chosen explicitly when invoking make, e.g., make DOCKER=podman user.

lsf37 commented 3 years ago

Looks good from my side, but should be merged on bitbucket: @ssrg-bamboo test

ssrg-bamboo commented 3 years ago

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

lsf37 commented 3 years ago

Merged in 4d396ab