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