You've already forked adareducer
mirror of
https://github.com/AdaCore/adareducer.git
synced 2026-02-12 13:10:07 -08:00
6 lines
85 B
Docker
6 lines
85 B
Docker
FROM libadalang:latest
|
|
|
|
RUN pip install e3-testsuite click
|
|
|
|
ENTRYPOINT ["/bin/bash"]
|