diff options
| author | glenda <glenda@9front.local> | 2021-01-24 21:04:23 +0000 |
|---|---|---|
| committer | glenda <glenda@9front.local> | 2021-01-24 21:04:23 +0000 |
| commit | 54d0d98e2a7845e2b389ee3678763dba18352612 (patch) | |
| tree | 9c30b60aef29c4befbb5b3c2fb153700fa926c78 /sites/pprolog.org | |
| parent | 4f3ebcf2eaf10fc09f0dbb2378963d6d342cac4c (diff) | |
Add pprolog install instructions
Diffstat (limited to 'sites/pprolog.org')
| -rw-r--r-- | sites/pprolog.org/_werc/pub/style.css | 9 | ||||
| -rw-r--r-- | sites/pprolog.org/documentation/tutorial/1.-install.md | 17 |
2 files changed, 25 insertions, 1 deletions
diff --git a/sites/pprolog.org/_werc/pub/style.css b/sites/pprolog.org/_werc/pub/style.css index 10935fb..4c46c98 100644 --- a/sites/pprolog.org/_werc/pub/style.css +++ b/sites/pprolog.org/_werc/pub/style.css @@ -64,4 +64,11 @@ header h1 { html { font-size: 1.2em; -}
\ No newline at end of file +} + +code > pre { + border: 2px solid #8888cc; + background-color: #eaffff; + width: max-content; + padding: 0 0.5em; +} diff --git a/sites/pprolog.org/documentation/tutorial/1.-install.md b/sites/pprolog.org/documentation/tutorial/1.-install.md index e69de29..f6f4bb2 100644 --- a/sites/pprolog.org/documentation/tutorial/1.-install.md +++ b/sites/pprolog.org/documentation/tutorial/1.-install.md @@ -0,0 +1,17 @@ +# Install + +Since pprolog has zero dependencies other than what is available by default on 9front +it is pretty easy to install. + +If you have [git9](https://orib.dev/git9.html) installed the steps are: + + git/clone https://git.sr.ht/~pmikkelsen/pprolog + cd pprolog + mk install + + +This will install the pprolog binary to `/$objtype/bin`, so you may want to modify +`BIN` in the `mkfile` to install to somewhere else like `$home/bin/$objtype/` + +It will also install the prolog libraries to `/sys/lib/prolog` and this is hardcoded +in the `mkfile` and in `dat.h` if you want to change that. |