Merge pull request managarm#652 from Dennisbonke/mlibc-compile

Add bragi binary tool

Author: avdgrinten

bootstrap.d/dev-python.y4.yml

@@ -428,6 +428,35 @@ packages:
     build:
       - args: ['python3', '-m', 'gpep517', 'install-from-source', '--destdir', '@THIS_COLLECT_DIR@', '--optimize', 'all', '--prefix', '/usr', '--sysroot', '@SYSROOT_DIR@', '--interpreter', '/usr/bin/env python3']
 
+  - name: python-lark
+    labels: [aarch64]
+    architecture: '@OPTION:arch@'
+    metadata:
+      summary: Python module to propose a modern general-purpose parsing library for Python
+      description: Python module to propose a modern general-purpose parsing library for Python
+      spdx: 'MIT'
+      website: 'https://pypi.org/project/lark/'
+      maintainer: "Dennis Bonke <dennis@managarm.org>"
+      categories: ['dev-python']
+    source:
+      subdir: 'ports'
+      git: 'https://github.com/lark-parser/lark.git'
+      tag: '1.3.1'
+      version: '1.3.1'
+    tools_required:
+      - host-gpep517
+      - system-gcc
+    pkgs_required:
+      - mlibc
+      - python
+    revision: 1
+    configure:
+      # python modules do not seem to support out-of-tree builds, so we just copy
+      # the source tree into the build directory instead.
+      - args: ['cp', '-r', '@THIS_SOURCE_DIR@/.', '@THIS_BUILD_DIR@']
+    build:
+      - args: ['python3', '-m', 'gpep517', 'install-from-source', '--destdir', '@THIS_COLLECT_DIR@', '--optimize', 'all', '--prefix', '/usr', '--sysroot', '@SYSROOT_DIR@', '--interpreter', '/usr/bin/env python3']
+
   - name: python-packaging
     architecture: '@OPTION:arch@'
     metadata:

bootstrap.d/managarm-libc.y4.yml

@@ -14,7 +14,7 @@ sources:
   - name: mlibc
     git: 'https://github.com/managarm/mlibc.git'
     branch: 'master'
-    commit: '5822e6a10e5d5c56d1ef2699c4456a55f5643d4f'
+    commit: 'cde91e11fe930488b9b686f63993e28d6b909bdd'
     rolling_version: true
     version: '0.0pl@ROLLING_ID@'
     sources_required:

bootstrap.d/managarm-libs.y4.yml

@@ -443,3 +443,28 @@ packages:
       - args: ['ninja', 'install']
         environ:
           DESTDIR: '@THIS_COLLECT_DIR@'
+
+  - name: python-bragi
+    labels: [aarch64]
+    architecture: '@OPTION:arch@'
+    metadata:
+      summary: A small and efficient IDL language
+      description: This package provides the bragi binary.
+      spdx: 'MIT'
+      maintainer: "Alexander van der Grinten <avdgrinten@managarm.org>"
+      categories: ['sys-libs']
+    from_source: 'bragi'
+    tools_required:
+      - host-gpep517
+      - system-gcc
+    pkgs_required:
+      - mlibc
+      - python
+      - python-lark
+    revision: 1
+    configure:
+      # python modules do not seem to support out-of-tree builds, so we just copy
+      # the source tree into the build directory instead.
+      - args: ['cp', '-r', '@THIS_SOURCE_DIR@/.', '@THIS_BUILD_DIR@']
+    build:
+      - args: ['python3', '-m', 'gpep517', 'install-from-source', '--destdir', '@THIS_COLLECT_DIR@', '--optimize', 'all', '--prefix', '/usr', '--sysroot', '@SYSROOT_DIR@', '--interpreter', '/usr/bin/python3']