Merge branch 'topic/lkql/remove_manage_py' into 'master'

Definitely remove 'manage.py'

See merge request eng/libadalang/langkit-query-language!425

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

@@ -7,15 +7,12 @@ The syntax is not stable for now.
 
 ## High level overview
 
-[`lkql/`](lkql): Contains:
-* Langkit language definition for the LKQL parser
-* Implementation of the LKQL interpreter (in
-  [`lkql/extensions/src`](lkql/extensions/src)). Embedding the LKQL interpreter
-  only requires using the `lkql` project.
-* Command line app for the interpreter
+[`lkql/`](lkql): Langkit language definition for the LKQL parser.
 
-[`lkql_checker`](lkql_checker): LKQL command line checker. Can run "checks"
-    that will flag specific lines of code in a given Ada codebase.
+[`lkql_checker/`](lkql_checker): GNATcheck sources and predefined LKQL rules.
+
+[`lkql_jit/`](lkql_jit): LKQL reference implementation using the Truffle Java
+   framework.
 
 ## Building & using
 
@@ -29,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