diff options
author | Jan200101 <sentrycraft123@gmail.com> | 2023-01-10 13:04:54 +0100 |
---|---|---|
committer | Jelle Raaijmakers <jelle@gmta.nl> | 2023-01-29 13:11:22 +0100 |
commit | 4eae5de499c068b78b61c8ede88d7a1736908dc4 (patch) | |
tree | e47bf140b7295a0af69a438aed0c71b6142768e4 /Ports/README.md | |
parent | 9b7e217dda0c45f0733f89a48e2cf483a6ba0a5e (diff) | |
download | serenity-4eae5de499c068b78b61c8ede88d7a1736908dc4.zip |
Ports: Document how to declare external port directories
Diffstat (limited to 'Ports/README.md')
-rw-r--r-- | Ports/README.md | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Ports/README.md b/Ports/README.md index 4aac5498f9..303cdc44c2 100644 --- a/Ports/README.md +++ b/Ports/README.md @@ -11,6 +11,17 @@ environment. A list of all available ports can be found [here](AvailablePorts.md). +## External ports + +Third party ports might need additional dependencies from another location. +In this case, you can point the `SERENITY_PORT_DIRS` variable to a local ports directory. + +For example: + +```bash +export SERENITY_PORT_DIRS="/path/to/port/dir/:/other/path/" +``` + ## Using ports scripts Each port has a script called `package.sh` which defines a name and version, |