GaloisInc/packages-old-locale: Repository not found

gracjan commented 9 years ago

I get this:

== running git clone git://github.com/GaloisInc/packages-old-locale.git libraries/old-locale
Cloning into 'libraries/old-locale'...
fatal: remote error: 
  Repository not found.
git failed: 32768 at ./sync-all line 122.

This is part of make which calls ./sync-all get. Running ./sync-all get fails with the same message.

acw commented 9 years ago

Is this on a fresh tree or one in which you've previously done a build?

What OS are you using?

gracjan commented 9 years ago

Tree is after git clean -fdx.

System is Ubunto 12.04 LTS, with the following applied:

sudo add-apt-repository ppa:hvr/ghc
sudo apt-get update
sudo apt-get install           \
    python-software-properties \
    libxen-dev                 \
    git                        \
    autoconf                   \
    ncurses-dev                \
    zlib1g-dev                 \
    libtool                    \
    ghc-7.8.4

export PATH=/opt/ghc/7.8.4/bin:${PATH}

git clone --recursive --depth 10 https://github.com/GaloisInc/HaLVM.git

autoconf
./configure --enable-gmp --prefix=${HOME}/HalVM_compiled
make
make install
export PATH=${HOME}/HalVM_compiled/bin:${PATH}
halvm-ghc-pkg recache

GaloisInc / HaLVM

GaloisInc/packages-old-locale: Repository not found #62