return #t for ocaml packages

Julien LepillerThu Jun 28 13:25:11+0200 2018

1e85bc6

return #t for ocaml packages

more/packages/ocaml.scm

9393 
                    (mandir (string-append out "/share/man")))
9494 
               ;; Custom configure script doesn't recognize
9595 
               ;; --prefix=<PREFIX> syntax (with equals sign).
96-
               (zero? (system* "./configure"
97-
                               "--prefix" out
98-
                               "--mandir" mandir)))))
96+
               (invoke "./configure"
97+
                       "--prefix" out
98+
                       "--mandir" mandir))
99+
             #t))
99100 
         (replace 'build
100101 
           (lambda _
101-
             (zero? (system* "make" "-j1" ;; fails to build otherwise
102-
                             "world.opt"))))
102+
             (invoke "make" "-j1" ;; fails to build otherwise
103+
                     "world.opt")
104+
             #t))
103105 
         (delete 'check)
104106 
         (add-after 'install 'check
105107 
           (lambda _
106108 
             (with-directory-excursion "testsuite"
107-
               (zero? (system* "make" "all"))))))))))
109+
               (invoke "make" "all"))
110+
             #t)))))))
108111 
109112 
(define-public proof-general2
110113 
  (package
…
456459 
       (modify-phases %standard-phases
457460 
         (replace 'configure
458461 
           (lambda* (#:key outputs #:allow-other-keys)
459-
             (zero? (system* "./configure" "x86_64-linux" "-prefix"
460-
                             (assoc-ref outputs "out"))))))
462+
             (invoke "./configure" "x86_64-linux" "-prefix"
463+
                     (assoc-ref outputs "out")))))
461464 
       #:tests? #f))
462465 
    (native-inputs
463466 
     `(("ocaml" ,ocaml-fix)