compile_cmake_base() {
    mkdir -p build; cd build
    cmake -DCMAKE_INSTALL_PREFIX="/$dir_prefix" -DCMAKE_BUILD_TYPE=Release $@ ..
    make
}

compile_cmake() {
    compile_cmake_base $@
    make DESTDIR="$dir_install" install
}

compile_cmake_installbin() {
    local file="$1"; shift
    compile_cmake_base $@
    install -D "$file" "$dir_install/$dir_prefix/bin/$file"
}