1source $stdenv/setup 2 3unzip $src 4cd hsqldb* 5mkdir -p $out 6cp -R * $out/