mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Your Name
16 lines
334 B
Bash
Executable File
16 lines
334 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
set -euo pipefail
|
|
set -x
|
|
python -m pip install \
|
|
--quiet \
|
|
--compile \
|
|
--no-index \
|
|
--no-build-isolation \
|
|
--ignore-installed \
|
|
--no-deps \
|
|
--prefix "." --root "${DESTDIR:-}$1" \
|
|
"$2"
|