File tree Expand file tree Collapse file tree 3 files changed +6
-7
lines changed Expand file tree Collapse file tree 3 files changed +6
-7
lines changed Original file line number Diff line number Diff line change @@ -35,10 +35,10 @@ RUN apt-get -y install \
35
35
ENV LAST_COGUTIL_UPDATE=2025-09-03
36
36
RUN /tmp/octool -c && ccache -C
37
37
38
- # Update Link Grammar. This avoids having to rebuild the opencog/deps
38
+ # Update Link Grammar.
39
39
# This installs the latest release tarball, and NOT github master.
40
40
ENV LAST_LINK_GRAMMAR_UPDATE=2024-05-02
41
- RUN /tmp/octool -l default && ccache -C
41
+ RUN /tmp/octool -v - l default && ccache -C
42
42
43
43
# Install core AtomSpace.
44
44
ENV LAST_ATOMSPACE_UPDATE=2025-09-03
Original file line number Diff line number Diff line change @@ -29,7 +29,7 @@ RUN apt-get -y install openssh-client
29
29
# Install ocpkg. Bump the date to get the latest ocpkg installed;
30
30
# Otherwise, this docker build will be cached with an old octool.
31
31
# And with old versions of those packages that octool installs.
32
- ENV LAST_OCPKG_UPDATE=2025-09-04
32
+ ENV LAST_OCPKG_UPDATE=2025-09-05
33
33
34
34
# The OCPKG_URL can be overridden by specifying
35
35
# docker build --build-arg OCPKG_URL=https://some.where.else.com/ockpg
@@ -44,9 +44,6 @@ RUN chmod 755 /tmp/octool; sync;
44
44
# This makes debugging install failures easier.
45
45
RUN /tmp/octool -rdv
46
46
47
- # -l default is the latest Link Grammar release tarball.
48
- RUN /tmp/octool -v -l default
49
-
50
47
# Environment Variables
51
48
# # Set Locale -- Link Grammar expects this.
52
49
RUN locale-gen en_US.UTF-8
Original file line number Diff line number Diff line change @@ -119,7 +119,9 @@ build_atomspace() {
119
119
if [ ! -z " $OCPKG_URL " ]; then
120
120
OCPKG_OPTION=" --build-arg OCPKG_URL=$OCPKG_URL "
121
121
fi
122
- GITHUB_OPTION=" --build-arg GITHUB_NAME=$GITHUB_NAME "
122
+
123
+ # GITHUB_NAME is not actually used in the dockerfile...
124
+ # GITHUB_OPTION="--build-arg GITHUB_NAME=$GITHUB_NAME"
123
125
docker build $CACHE_OPTION $OCPKG_OPTION $GITHUB_OPTION -t ${DOCKER_NAME} /atomspace atomspace
124
126
echo " ---- Finished build of ${DOCKER_NAME} /atomspace ----"
125
127
}
You can’t perform that action at this time.
0 commit comments