summaryrefslogtreecommitdiff
path: root/Ports/README.md
diff options
context:
space:
mode:
authorJan200101 <sentrycraft123@gmail.com>2023-01-10 13:04:54 +0100
committerJelle Raaijmakers <jelle@gmta.nl>2023-01-29 13:11:22 +0100
commit4eae5de499c068b78b61c8ede88d7a1736908dc4 (patch)
treee47bf140b7295a0af69a438aed0c71b6142768e4 /Ports/README.md
parent9b7e217dda0c45f0733f89a48e2cf483a6ba0a5e (diff)
downloadserenity-4eae5de499c068b78b61c8ede88d7a1736908dc4.zip
Ports: Document how to declare external port directories
Diffstat (limited to 'Ports/README.md')
-rw-r--r--Ports/README.md11
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,