Script started on Mon 22 Dec 2014 05:10:22 PM CET
]0;miki@miki-desktop:~/vcs/git/intuitionistic[miki@miki-desktop intuitionistic]$ make
ocamldep  *.mli *.ml > .depend
ocamlc  -g -c var.mli
ocamlc  -g -c var.ml
ocamlc  -g -c base.ml
ocamlc  -g -c value.ml
ocamlc  -g -c term.ml
ocamlc  -g -c eval.ml
ocamlc  -g -c printing.ml
ocamlc  -g -c reify.ml
ocamlc  -g -c ctx.ml
ocamlc  -g -c check_term.ml
ocamlc  -g -c initial.ml
ocamlc  -g -c test_term.ml
ocamlc  -g var.cmo base.cmo value.cmo term.cmo eval.cmo printing.cmo reify.cmo ctx.cmo check_term.cmo initial.cmo test_term.cmo -o test_term
ocamlc  -g -c expr.ml
ocamlc  -g -c check_expr.ml
ocamlyacc -v syntax.mly
1 shift/reduce conflict.
ocamlc  -g -c syntax.mli
ocamlc  -g -c syntax.ml
ocamllex lex.mll
63 states, 674 transitions, table size 3074 bytes
ocamlc  -g -c lex.ml
ocamlc  -g -c test_expr.ml
ocamlc  -g var.cmo base.cmo value.cmo term.cmo eval.cmo printing.cmo reify.cmo ctx.cmo check_term.cmo initial.cmo expr.cmo check_expr.cmo lex.cmo syntax.cmo test_expr.cmo -o test_expr
ocamlc  -g -c ipl_compile.ml
ocamlc  -g -c ipl_llvm.ml
File "ipl_llvm.ml", line 1:
Error: The files /usr/lib/ocaml/pervasives.cmi and /usr/lib/ocaml/llvm.cmi
       make inconsistent assumptions over interface Pervasives
Makefile:58: recipe for target 'ipl_llvm.cmo' failed
make: *** [ipl_llvm.cmo] Error 2
]0;miki@miki-desktop:~/vcs/git/intuitionistic[miki@miki-desktop intuitionistic]$ exit

Script done on Mon 22 Dec 2014 05:10:27 PM CET