Hi, just update the Vagrantfile at https://github.com/opencog/opencog/blob/master/lib/Vagrantfile
Try again by following the steps described at https://wiki.opencog.org/w/Building_OpenCog#Run_Vagrant On Sunday, December 30, 2018 at 1:40:02 AM UTC+8, [email protected] wrote: > > Hi all, > > I am running windows 10 and I am running into a problem installing > OpenCog. .I am getting the error message: > Couldn't open file /C:/Windows/System32/opencog_repos/opencog/lib/base > and I checked and it is not there. > > I had to create a new Vagrantfile because I think the Vagrantfile created > was for Linux as it would not work for me, > and when I used the init command to make a new file it failed. The new > Vagrantfile gave this when I tried to run it. > > > > C:\Windows\System32\opencog_repos\opencog\lib>vagrant up > Bringing machine 'default' up with 'virtualbox' provider... > ==> default: Box 'base' could not be found. Attempting to find and > install... > default: Box Provider: virtualbox > default: Box Version: >= 0 > ==> default: Box file was not detected as metadata. Adding it directly... > ==> default: Adding box 'base' (v0) for provider: virtualbox > default: Downloading: base > default: > An error occurred while downloading the remote file. The error > message, if any, is reproduced below. Please fix this error and try > again. > -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/dfd912d4-1acc-4579-9626-5f3655a9b4c9%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
