mike dupont
commited on
Commit
•
df8500e
1
Parent(s):
a742828
dockerfile
Browse files- Dockerfile +6 -0
Dockerfile
CHANGED
|
@@ -1,10 +1,16 @@
|
|
|
|
|
| 1 |
FROM h4ckermike/lang_agent:dev
|
|
|
|
| 2 |
|
| 3 |
FROM python:3.8.9
|
| 4 |
|
|
|
|
| 5 |
COPY --from=0 /home/opam/ /home/opam/
|
| 6 |
COPY --from=0 /lang_agent/ /lang_agent/
|
| 7 |
|
|
|
|
|
|
|
|
|
|
| 8 |
WORKDIR /app
|
| 9 |
|
| 10 |
COPY ./requirements.txt /app/requirements.txt
|
|
|
|
| 1 |
+
|
| 2 |
FROM h4ckermike/lang_agent:dev
|
| 3 |
+
FROM h4ckermike/unimath-coq-trace-batch2:test1
|
| 4 |
|
| 5 |
FROM python:3.8.9
|
| 6 |
|
| 7 |
+
# lang agent
|
| 8 |
COPY --from=0 /home/opam/ /home/opam/
|
| 9 |
COPY --from=0 /lang_agent/ /lang_agent/
|
| 10 |
|
| 11 |
+
|
| 12 |
+
COPY --from=1 /data /data #from unimath
|
| 13 |
+
|
| 14 |
WORKDIR /app
|
| 15 |
|
| 16 |
COPY ./requirements.txt /app/requirements.txt
|