Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add common code for make.py to the shared resources #18

Merged
merged 1 commit into from
Apr 3, 2023
Merged

Conversation

pietroalbini
Copy link
Member

The FLS's make.py script is needed in other repositories as well, and it wouldn't make sense to duplicate it. This PR creates a make_common.py script that contains most of the logic of make.py, so that make.py can be reduced to:

#!/usr/bin/env python3
# SPDX-License-Identifier: MIT OR Apache-2.0
# SPDX-FileCopyrightText: Ferrous Systems and AdaCore

import os
import subprocess
import sys

root = os.path.abspath(os.path.dirname(__file__))
subprocess.run(
    ["git", "submodule", "update", "--init"],
    check=True,
    cwd=root,
)

sys.path.insert(0, "shared")
import make_common
make_common.main(root)

@Veykril Veykril merged commit 9fa1902 into main Apr 3, 2023
@Veykril Veykril deleted the pa-make-common branch April 3, 2023 09:54
bors-ferrocene bot added a commit to ferrocene/specification that referenced this pull request Apr 3, 2023
405: Update `shared` submodule and use the shared `make.py` impl r=kirtchev-adacore a=pietroalbini

Implements the changes added in ferrocene/sphinx-shared-resources#18.

Co-authored-by: Pietro Albini <pietro.albini@ferrous-systems.com>
bors-ferrocene bot added a commit to ferrocene/specification that referenced this pull request Apr 3, 2023
405: Update `shared` submodule and use the shared `make.py` impl r=kirtchev-adacore a=pietroalbini

Implements the changes added in ferrocene/sphinx-shared-resources#18.

Co-authored-by: Pietro Albini <pietro.albini@ferrous-systems.com>
bors-ferrocene bot added a commit to ferrocene/ferrocene that referenced this pull request Oct 18, 2023
55: Automated pull from `ferrocene/sphinx-shared-resources` r=Veykril a=github-actions[bot]

This PR pulls the following changes from the [`ferrocene/sphinx-shared-resources`](https://github.com/ferrocene/sphinx-shared-resources) repository:

* ferrocene/sphinx-shared-resources#15
* ferrocene/sphinx-shared-resources#16
* ferrocene/sphinx-shared-resources#17
* ferrocene/sphinx-shared-resources#18
* ferrocene/sphinx-shared-resources#19
* ferrocene/sphinx-shared-resources#23
* ferrocene/sphinx-shared-resources#27
* ferrocene/sphinx-shared-resources#28
* ferrocene/sphinx-shared-resources#25
* ferrocene/sphinx-shared-resources#29
* ferrocene/sphinx-shared-resources#30
* ferrocene/sphinx-shared-resources#32
* ferrocene/sphinx-shared-resources#31
* ferrocene/sphinx-shared-resources#33


56: Automated pull from `rust-lang/libc` r=Veykril a=github-actions[bot]

This PR pulls the following changes from the [`rust-lang/libc`](https://github.com/rust-lang/libc) repository:

* rust-lang/libc#3034
* rust-lang/libc#3290
* rust-lang/libc#3389


Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Pietro Albini <pietro.albini@ferrous-systems.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: David Carlier <devnexen@gmail.com>
Co-authored-by: bors <bors@rust-lang.org>
Co-authored-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants