Remove LKQL 'manage.py' and update the documentation accordingly

Author: HugoGGuerrier

.github/workflows/main.yml

@@ -72,12 +72,12 @@ jobs:
 
       - name: Build LKQL
         run: |
-            eval `lkql/manage.py setenv`
+            eval `python -m langkit.scripts.lkm setenv`
             GPR_ARGS=-XLIBRARY_TYPE=relocatable make
 
       - name: Test LKQL
         run: |
-            eval `lkql/manage.py setenv`
+            eval `python -m langkit.scripts.lkm setenv`
             make test
 
       - name: Deploy
@@ -88,4 +88,3 @@ jobs:
           publish_dir: ./user_manual/build/html
           user_name: 'github-actions[bot]'
           user_email: 'github-actions[bot]@users.noreply.github.com'
-

README.md

@@ -26,14 +26,14 @@ paths.
 - Building LKQL is done via
 
 ```
-lkql/manage.py make
+lkm make
 ```
 
 - You can then make LKQL available (binaries, Ada libraries, and Python lib)
   via:
 
 ```
-eval `lkql/manage.py setenv`
+eval `lkm setenv`
 ```
 
 - LKQL checker (linter based on lkql) is built separately:

lkql/manage.py

@@ -33,6 +33,7 @@ For information, the tested version of GraalVM is graalvm-ce-java17-22.3.1.
 $[langkit]> pip3 install -r requirement-pypi.txt
 $[langkit]> ./manage.py make
 $[langkit]> eval `./manage.py setenv`
+$[langkit]> export PATH="/path/to/langkit/scripts:$PATH"
 ```
 
 If you get a Python error about the langkit library, add the langkit directory to your `PYTHONPATH`
@@ -50,8 +51,8 @@ $[langkit]> mvn -f langkit/java_support install
 ### 2) Build and install Libadalang
 
 ```sh
-$[libadalang]> ./manage.py make --enable-java
-$[libadalang]> eval `./manage.py setenv`
+$[libadalang]> lkm make --enable-java
+$[libadalang]> eval `lkm setenv`
 ```
 
 Make sure the Java bindings are installed locally
@@ -63,8 +64,8 @@ $[libadalang]> mvn -f build/java install
 ### 3) Build and install Liblkqllang
 
 ```sh
-$[langkit-query-language/lkql]> ./manage.py make --enable-java
-$[langkit-query-language/lkql]> eval `./manage.py setenv`
+$[langkit-query-language/lkql]> lkm make --enable-java
+$[langkit-query-language/lkql]> eval `lkm setenv`
 ```
 
 As for Libadalang, make sure Java bindings are installed