fix coq 8.6

Julien LepillerThu Nov 29 18:17:08+0100 2018

6330dde

fix coq 8.6

more/packages/ocaml.scm

167167 
               (("Bytes.unsafe_to_string read_string") "read_string"))
168168 
             (invoke "make" "-j" (number->string
169169 
                                  (parallel-job-count))
170+
                     (string-append
171+
                       "USERFLAGS=-I "
172+
                       (assoc-ref inputs "ocaml-num")
173+
                       "/lib/ocaml/site-lib")
170174 
                     "world")
171175 
             #t))
172176 
         (delete 'check)