2019-10-31 23:18:45 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
|
|
make PREFIX=/usr
|
2023-03-02 14:40:00 +00:00
|
|
|
make PREFIX=/usr DESTDIR="$1" install
|
2019-10-31 23:18:45 +00:00
|
|
|
|
2021-07-12 08:20:52 +00:00
|
|
|
ln -sf samu "$1/usr/bin/ninja"
|
|
|
|
|
ln -sf samu.1 "$1/usr/share/man/man1/ninja.1"
|
