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