0002448: frama-c installation needs dune > 1.5 package installed

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002448

Frama-C

Documentation > website

public

2019-06-04 18:34

2019-06-04 19:51

Reporter

varosi

Assigned To

bobot

Priority

normal

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Platform

macOS

OS Version

Mojave

Product Version

Frama-C 18-Argon

Target Version

Fixed in Version

Summary

0002448: frama-c installation needs dune > 1.5 package installed

Description

Installation instructions here - https://frama-c.com/install-18.0-Argon.html#installing-frama-c-on-macos [^]
Doesn't tell that dune package in spam should be > 1.5. This brakes build with strange message telling the reverse:
# Error: Version 1.5 of dune is not supported.
# Supported versions:
# - 0.0
# - 1.0 to 1.1

If you do install later package with:
opam install dune.1.9.3

Everything works just fine. So it would make life of newcomers like me easier if this is said in install instructions here:
https://frama-c.com/install-18.0-Argon.html#installing-frama-c-on-macos [^]

Tags

No tags attached.

Attached Files

Relationships

Notes
(0006778) virgile (developer) 2019-06-04 19:51	Could you provide the full opam output? Frama-C does not use dune itself. It's probably some package on which it depends that fails to install (and which may have to update its own dependencies).

Issue History
Date Modified	Username	Field	Change
2019-06-04 18:34	varosi	New Issue
2019-06-04 18:34	varosi	Status	new => assigned
2019-06-04 18:34	varosi	Assigned To	=> bobot
2019-06-04 19:51	virgile	Note Added: 0006778