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