Project

General

Profile

Actions
Copy link

Bug #9668

closed

astraver-translator: add opam dependency for Frama-C

Added by Denis Efremov almost 5 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Mikhail Mandrykin
Start date:
05/22/2019
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

astraver-translator is checking for Frama-C during installation. Either the opam configuration should require it installed or this check be removed.

[ERROR] The compilation of astraver-translator failed at
        "/home/travis/.opam/4.07.1/.opam-switch/build/astraver-translator.v18.0/./configure
        --prefix /home/travis/.opam/4.07.1".
∗ installed frama-c.astraver.v18.0
#=== ERROR while compiling astraver-translator.v18.0 ==========================#
# context     2.0.4 | linux/x86_64 | ocaml-base-compiler.4.07.1 | git+https://forge.ispras.ru/git/astraver.opam-repository.git
# path        ~/.opam/4.07.1/.opam-switch/build/astraver-translator.v18.0
# command     ~/.opam/4.07.1/.opam-switch/build/astraver-translator.v18.0/./configure --prefix /home/travis/.opam/4.07.1
# exit-code   1
# env-file    ~/.opam/log/astraver-translator-14951-8b1ab0.env
# output-file ~/.opam/log/astraver-translator-14951-8b1ab0.out
### output ###
# [...]
# checking ocamlc.opt version... ok
# checking for ocamldep... ocamldep
# checking for ocamldep.opt... ocamldep.opt
# checking for ocamllex... ocamllex
# checking for ocamllex.opt... ocamllex.opt
# checking for ocamlyacc... ocamlyacc
# checking for ocamldoc... ocamldoc
# checking for ocamldoc.opt... ocamldoc.opt
# ocamlfind found ocamlgraph in /home/travis/.opam/4.07.1/lib/ocamlgraph
# ocamlfind found lablgtksourceview2 in /home/travis/.opam/4.07.1/lib/lablgtk2
# checking for frama-c... no
# configure: error: Cannot find Frama-c.
Actions
Copy link
 #1

Updated by Denis Efremov almost 5 years ago

  • Status changed from New to Closed

Solved.

Actions
Copy link

Also available in: Atom PDF