Project

General

Profile

Actions

Bug #600

closed

BLAST compatibility with Ocaml 3.11

Added by Alexey Khoroshilov over 13 years ago. Updated over 12 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
Start date:
12/02/2010
Due date:
% Done:

0%

Estimated time:
Detected in build:
2010-12-02
Platform:
Published in build:

Description

It should be possible to compile BLAST with Ocaml 3.11. Currently there are some problems:

Compiling           fe/ast.ml to bytecode
File "fe/ast.ml", line 213, characters 26-314:
Warning P: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
"" 
File "fe/ast.ml", line 283, characters 27-426:
Warning P: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
"" 
File "fe/ast.ml", line 1, characters 0-1:
Error: The files /usr/lib/ocaml/format.cmi
       and /home/tester/ldv/ldv-tools/dscv/rcv/backends/blast/blast/include/utils/message.cmi
       make inconsistent assumptions over interface Buffer


Related issues 1 (0 open1 closed)

Related to Linux Driver Verification - Bug #408: blast compilation fails after submodule updateRejectedPavel Shved08/31/2010

Actions
Actions

Also available in: Atom PDF