build.sh

   1 #!/bin/sh
   2 set -eu
   3
   4 now() { date +$dfmt; }
   5 unameN=$(uname)
   6 test "$unameN" = Darwin && {
   7     darwin=true
   8     wsi="wsi/osx"
   9 } || {
  10     darwin=false
  11     wsi="wsi/x11"
  12 }
  13
  14 dfmt="%s"
  15 if $(expr >/dev/null "$(date --version 2>/dev/null)" : ".*GNU"); then
  16     dfmt="%s.%N"
  17 fi
  18
  19 tstart=$(now)
  20 alias vecho=${vecho-:}
  21 command -v md5sum >/dev/null && alias sum=md5sum || true
  22 test -z "${debugdeps-}" \
  23     && digest() { sum $* 2>/dev/null | while read h _; do printf "$h"; done; } \
  24         || digest() { sum $* 2>/dev/null; }
  25
  26 partmsg() {
  27     test $? -eq 0 && msg="ok" || msg="ko"
  28     echo "$msg $(echo "scale=3; ($(now) - $tstart)/1" | bc -l) sec"
  29 }
  30
  31 die() {
  32     echo "$*" >&2
  33     exit 111
  34 }
  35
  36 trap 'partmsg' EXIT
  37
  38 test $(ocamlc -version | { IFS=. read a b _; echo $a$b; } ) -lt 406 && {
  39     die OCaml version 4.06+ is required
  40 }
  41
  42 test -n "${1-}" || die "usage: $0 build-directory"
  43
  44 outd=$(readlink -f "$1")
  45 srcd=$(readlink -f "$(dirname $0)")
  46 mudir=$srcd/mupdf
  47 muinc="-I $mudir/include -I $mudir/thirdparty/freetype/include"
  48
  49 isfresh() {
  50     test -e "$1" && test -r "$1.past" && {
  51             . "$1.past"
  52             test "$k" = "$2"
  53         }
  54 }
  55
  56 oflags() {
  57     case "${1#$outd/}" in
  58         main.cmo|utils.cmo|config.cmo|parser.cmo|wsi.cmi|$wsi/wsi.cmo)
  59             f="-g -strict-sequence -strict-formats -warn-error a";;
  60         *) f="-g";;
  61     esac
  62     echo "$incs $f"
  63 }
  64
  65 cflags() {
  66     case "${1#$outd/}" in
  67         link.o)
  68             f="-g -std=c99 -O2 $muinc -Wall -Werror -pedantic-errors"
  69             $darwin && echo "$f -D__COCOA__" || echo $f;;
  70         */ml_gl.o) echo "-g -Wno-pointer-sign -O2";;
  71         *) echo "-g -O2";;
  72     esac
  73 }
  74
  75 mflags() { echo "-I $(ocamlc -where) -g -O2"; }
  76
  77 bocaml1() {
  78     ocamlc -depend -bytecode -one-line $(echo $incs) $s | {
  79         read _ _ depl
  80         for d in $(eval echo $depl); do
  81             bocaml ${d#$srcd/} $((n+1))
  82         done
  83     }
  84     cmd="ocamlc $(oflags $o) -c -o $o $s"
  85     keycmd="digest $o $s"
  86     grep -q "$o" $outd/ordered || {
  87         echo "$o" >>"$outd/ordered"
  88         isfresh "$o" "$cmd$(eval $keycmd)" || {
  89             printf "%*.s%s -> %s\n" $n '' "${s#$srcd/}" "${o#$outd/}"
  90             eval "$cmd"
  91             echo "k='$cmd$(eval $keycmd)'" >"$o.past"
  92         } && vecho "fresh '$o'"
  93     }
  94 }
  95
  96 bocaml() (
  97     o="$1"
  98     n="$2"
  99     wocmi="${o%.cmi}"
 100     test ${wocmi%help.cmo} !=  $wocmi && {
 101         s=$outd/help.ml
 102         o=$outd/help.cmo
 103     } || {
 104         test "$o" = "$wocmi" && s=$srcd/${o%.cmo}.ml || s=$srcd/$wocmi.mli
 105         o=$outd/$o
 106     }
 107     incs="-I $srcd/lablGL -I $srcd/$wsi -I $srcd"
 108     incs="$incs -I $outd/lablGL -I $outd/$wsi -I $outd"
 109     bocaml1 "$s" "$o"
 110 )
 111
 112 bocamlc() {
 113     o=$outd/$1
 114     s=$srcd/${1%.o}.c
 115     cmd="ocamlc -ccopt \"$(cflags $o) -MMD -MF $o.dep -MT_ -o $o\" $s"
 116     test -r $o.dep && read _ d <$o.dep || d=
 117     keycmd='digest $o $d'
 118     isfresh "$o" "$cmd$(eval $keycmd)" || {
 119         printf "%s -> %s\n" "${s#$srcd/}" "${o#$outd/}"
 120         eval "$cmd"
 121         read _ d <$o.dep
 122         echo "k='$cmd$(eval $keycmd)'" >"$o.past"
 123     } && vecho "fresh $o"
 124 }
 125
 126 bobjc() {
 127     o=$outd/$1
 128     s=$srcd/${1%.o}.m
 129     cmd="$mcomp $(mflags $o) -MMD -MF $o.dep -MT_ -c -o $o $s"
 130     test -r $o.dep && read _ d <$o.dep || d=
 131     keycmd='digest $o $d'
 132     isfresh "$o" "$cmd$(eval $keycmd)" || {
 133         printf "%s -> %s\n" "${s#$srcd/}" "${o#$outd/}"
 134         eval "$cmd"
 135         read _ d <$o.dep
 136         echo "k='$cmd$(eval $keycmd)'" >"$o.past"
 137     } && vecho "fresh $o"
 138 }
 139
 140 mkdir -p $outd/$wsi
 141 mkdir -p $outd/lablGL
 142 :>$outd/ordered
 143
 144 mkhelp() {
 145     ocaml str.cma -stdin $srcd/KEYS <<EOF
 146 let fixup = let open Str in
 147   let dash = regexp {|\([^ ]*\) +- +\(.*\)|}
 148   and head = regexp {|-----\(.*\)-----|} in fun s ->
 149   String.escaped s |> global_replace dash {|\1\t\2|}
 150                    |> global_replace head {|\xc2\xb7\1|};;
 151 let rec iter ic = match input_line ic with
 152 | s -> Printf.printf "\"%s\";\\n" @@ fixup s; iter ic
 153 | exception End_of_file -> ();;
 154 Printf.printf "let keys = [\\n";
 155 iter @@ open_in Sys.argv.(1);;
 156 Printf.printf "] and version = \"$ver\";;"
 157 EOF
 158 }
 159
 160 ver=$(cd $srcd && git describe --tags --dirty) || echo unknown
 161 cmd="mkhelp >$outd/help.ml"
 162 keycmd="digest $srcd/KEYS; echo $ver"
 163 isfresh "$outd/help.ml" '$cmd$(eval $keycmd)$ver' || {
 164     eval $cmd
 165     echo "k='$cmd$(eval $keycmd)$ver'" >"$outd/help.ml.past"
 166 } && vecho "fresh $outd/help.ml"
 167
 168 case "${2-}" in
 169     man)
 170         md=$outd/man
 171         mkdir -p $md
 172         for m in llpp llppac llpphtml; do
 173             man=$srcd/man/$m.man
 174             xml=$md/$m.xml
 175             out=$md/$m.1
 176             keycmd="digest $xml $man"
 177             conf="$srcd/man/asciidoc.conf"
 178             cmd="asciidoc -d manpage -b docbook -f $conf -o '$xml' '$man'"
 179             isfresh "$xml" "$cmd$(eval $keycmd)" || {
 180                 eval $cmd
 181                 echo "k='$cmd$(eval $keycmd)'" >"$md/$m.past"
 182             }
 183             keycmd="digest $out $xml"
 184             cmd="xmlto man -o $md $xml"
 185             isfresh "$out" "$cmd$(eval $keycmd)" || {
 186                 eval $cmd
 187                 echo "k='$cmd$(eval $keycmd)'" >"$out.past"
 188             }
 189         done
 190         shift;;
 191     *) ;;
 192 esac
 193
 194 # following is disgusting (from "generalize everything" perspective),
 195 # but generic method of derviving .ml's location from .mli's is not
 196 # immediately obvious
 197 for m in lablGL/glMisc.cmo lablGL/glTex.cmo $wsi/wsi.cmo main.cmo; do
 198     bocaml $m 0
 199 done
 200 bocamlc link.o
 201 cobjs="$outd/link.o"
 202
 203 libs="str.cma unix.cma"
 204 clibs="-L$mudir/build/native -lmupdf -lmupdfthird -lpthread"
 205 if $darwin; then
 206     mcomp=$(ocamlc -config | grep bytecomp_c_co | { read _ c; echo $c; })
 207     clibs="$clibs -framework Cocoa -framework OpenGL"
 208     bobjc main_osx.o
 209     cobjs="$cobjs $outd/main_osx.o"
 210 else
 211     clibs="$clibs -lGL -lX11"
 212 fi
 213
 214 globjs=
 215 for f in ml_gl ml_glarray ml_raw; do
 216     bocamlc lablGL/$f.o
 217     globjs="$globjs $outd/lablGL/$f.o"
 218 done
 219
 220 ord=$(echo $(grep -v \.cmi $outd/ordered))
 221 cmd="ocamlc -custom $libs -o $outd/llpp $cobjs $ord"
 222 cmd="$cmd $globjs -cclib \"$clibs\""
 223 keycmd="digest $outd/llpp $outd/link.o $ord"
 224 isfresh "$outd/llpp" "$cmd$(eval $keycmd)" || {
 225         echo linking $outd/llpp
 226         eval $cmd || echo "$cmd failed"
 227         echo "k='$cmd$(eval $keycmd)'" >"$outd/llpp.past"
 228     } && vecho "fresh llpp"
 229
 230 if $darwin; then
 231     out="$outd/llpp.app/Contents/Info.plist"
 232     keycmd="digest $out $srcd/misc/Info.plist.sh"
 233     isfresh $out "$(eval $keycmd)" || {
 234         shortver=$(echo $ver | { IFS='-' read s _; echo ${s#v}; })
 235         d=$(dirname $out)
 236         test -d "$d" || mkdir -p "$d"
 237         . $srcd/misc/Info.plist.sh >"$out"
 238         echo "k=$(eval $keycmd)" >"$out.past"
 239     } && vecho "fresh plist"
 240
 241     out=$outd/llpp.app/Contents/MacOS/llpp
 242     keycmd="digest $out $outd/llpp"
 243     isfresh $out "$(eval $keycmd)" || {
 244         d=$(dirname $out)
 245         mkdir -p "$d"
 246         cp $outd/llpp $out
 247         echo "k=$(eval $keycmd)" >"$out.past"
 248     } && vecho "fresh bundle"
 249 fi