Commit f882068 git
committed
1 parent 2dd9ff3 commit f882068 Copy full SHA for f882068
File tree 2 files changed +8
-6
lines changed
2 files changed +8
-6
lines changed Original file line number Diff line number Diff line change @@ -21,13 +21,15 @@ COPY --from=builder \
21
21
/usr/local/bin/libz3.* /usr/local/bin/
22
22
23
23
# Just the essentials
24
- COPY ./sigmakee-runtime/KBs/config.xml /root/sigmakee-runtime/
25
- COPY ./sigmakee-runtime/*.kif /root/sigmakee-runtime/
26
- COPY ./sigmakee-runtime/Translations /root/sigmakee-runtime/
27
- COPY ./sigmakee-runtime/WordNetMappings /root/sigmakee-runtime/
28
- COPY ./sigmakee-runtime/development /root/sigmakee-runtime/
24
+ COPY ./sigmakee-runtime/KBs/config.xml /root/sigmakee-runtime/KBs/
25
+ COPY ./sigmakee-runtime/KBs/ *.kif /root/sigmakee-runtime/KBs /
26
+ COPY ./sigmakee-runtime/KBs/ Translations /root/sigmakee-runtime/KBs /
27
+ COPY ./sigmakee-runtime/KBs/ WordNetMappings /root/sigmakee-runtime/KBs /
28
+ COPY ./sigmakee-runtime/KBs/ development /root/sigmakee-runtime/KBs /
29
29
30
+ # Not necessary since everything is in the WAR
30
31
COPY ./sigmakee/build/WEB-INF/lib/*.jar /root/sigmakee/
32
+ COPY ./sigmakee/build/sigmakee.jar /root/sigmakee/
31
33
32
34
COPY ./sigma.war $CATALINA_HOME/webapps/sigma.war
33
35
Original file line number Diff line number Diff line change @@ -20,7 +20,7 @@ COPY --from=builder \
20
20
COPY --from=builder \
21
21
/usr/local/bin/libz3.* /usr/local/bin/
22
22
23
- COPY ./sigmakee-runtime/KBs/config.xml /root/sigmakee-runtime/
23
+ COPY ./sigmakee-runtime/KBs/config.xml /root/sigmakee-runtime/KBs/
24
24
25
25
COPY ./sigmakee/build/WEB-INF/lib/*.jar /root/sigmakee/
26
26
You can’t perform that action at this time.
0 commit comments