1
#!/bin/sh
2
3
prefix=/usr/local
4
5
for arg in $* ; do
6
    case $arg in
7
        --prefix=*)
8
            prefix=${arg#--prefix=}
9
            ;;
10
        --help|-h)
11
            echo "usage: $0 --prefix=<prefix>"
12
            exit 0
13
            ;;
14
        --debug)
15
            ;;
16
        *)
17
            echo "unknown argument $arg"
18
            ;;
19
    esac
20
done
21
22
echo "prefix = $prefix" > Makefile.config
23
24
if [ $(uname -s) = Linux ] ; then
25
    poll_type=epoll
26
    notify_type=inotify
27
else
28
    poll_type=kqueue
29
    notify_type=kqueue
30
fi
31
32
sed -e "s/@POLL_TYPE@/$poll_type/" -e "s/@NOTIFY_TYPE@/$notify_type/" config.hpp.in > config.hpp
33
echo "modified config.hpp for your system"