1 2 3 4 5 6 7 8 9 10 11 12
#!/bin/sh -e ./configure \ --prefix=/usr \ --enable-static \ --enable-jit make make DESTDIR="$1" install # Remove html docs rm -r "$1/usr/share/doc"