als-alire-index

An Alire index to build ada_language_server, lsif-ada

THE PROJECT IS ARCHIVED!!!

I'm closing the project since AdaCore includes build_als.sh script into ada_language_server repository. See the instructions for building ALS from sources.

The last version of ALS in this repo is 24.0.6. Next version is 25.0.20240915 (versioning schema is changed). Now it's very hard (impossible?) to build Libadalang from sources by just running alr, especially with LIBRARY_TYPE=static, because LAL generation phase is required dynamic libraries.

Archived README

This alire index provides the ada_language_server, lsif_ada crates and dependencies not included in the community index yet.

Install

alr index --reset-community
alr index --add git+https://github.com/reznikmm/als-alire-index.git --name als
# Choose gnat_native=14.1:
alr toolchain --select gnat_native^14 gprbuild
LIBRARY_TYPE=static STANDALONE=no alr get --build ada_language_server

After a successful build you will get ada_language_server executable:

# ls -l ada_language_server_24.0.*/.obj/server/ada_language_server
-rwxrwxr-x 1 reznik reznik 244378944 Oct 20 17:31 ada_language_server_24.0.1_d5ee2f18/.obj/server/ada_language_server

Dependencies

Make sure you have alr, wget, curl, git, libgmp-dev, python3, python3-venv, python3-pip. On Ubuntu run:

apt install wget curl git libgmp-dev python3 python3-venv python3-pip

One line installer for lsif-ada

This script builds lsif-ada and installs it into the current directory. It supposes next packages are already installed:

sudo apt install -y \
  python3 curl unzip git libgmp-dev libc6-dev make python3-pip python3-venv

curl -fsSL https://raw.githubusercontent.com/reznikmm/als-alire-index/main/make_lsif.sh | bash

Package VSCode extension to .vsix

You need NodeJS 16. On Ubuntu install it this way:

apt install gcc g++ make
curl -fsSL https://deb.nodesource.com/setup_16.x | bash - &&\
apt-get install -y nodejs

You may want to change version in the package.json:

sed -i -e -e s/23.0.999/23.0.20/ integration/vscode/ada/package.json

Or add new platform to the list of supported platforms (like AArch64 Linux):

sed -e "/const supportedEnvs:/a{ arch: 'arm64', platform: 'linux' }," \
  integration/vscode/ada/src/extension.ts

You should have a copy of ada_language_server in integration/vscode/ada/{amd64,arm64}/{linux,darwin,win32}/. You need vsce and esbuild:

npm install -g @vscode/vsce
npm install -g esbuild

Then you could do:

cd integration/vscode/ada
npm install
vsce package

Build on Mac OS X

You need Python 3.9/3.10 or newer. Install and append it to PATH environment variable.

You need a GNAT compiler GCC 12 or newer.

You also need wget for alr. If you don't have wget this simple curl wrapper should work:

cat > bin/wget <<\EOF
#!/bin/bash

for J in "$@"; do
   case "$J" in
    "-O") echo "-o"     ;;
    *)    echo \'"$J"\' ;;
   esac
done | xargs -L 100 curl
EOF

chmod +x bin/wget

The alr complains on absent libgmp, so you need to find this library somewhere. For instance "GNAT CE 2021" distribution has its-own copy of libgmp in opt/gnat-ce-2021/lib/ directory. Set LIBRARY_PATH environment to point to a directory with libgmp. After the build fix RPATH to the libgmp.10.dylib:

function fix_rpath ()
{
    for R in `otool -l $1 |grep -A2 LC_RPATH |awk '/ path /{ print $2 }'`; do
        install_name_tool -delete_rpath $R $1
    done
    install_name_tool -change /opt/gnat-ce-2021/lib/libgmp.10.dylib @executable_path/libgmp.10.dylib $1
}

fix_rpath ada_language_server_*/.obj/server/ada_language_server

cp $HOME/opt/gnat-ce-2021/lib/libgmp.10.dylib ada_language_server_*/.obj/server/

Maintainer

Max Reznik.

Contribute

Feel free to dive in! Open an issue or submit PRs.

License

GPL-3 © Max Reznik