Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 669494 - dev-lang/mercury-14.01.1: Error reading options file `/usr/lib/mercury/conf/Mercury.config'.
Summary: dev-lang/mercury-14.01.1: Error reading options file `/usr/lib/mercury/conf/M...
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Keri Harris
Depends on:
Blocks: no-symlink-lib
  Show dependency tree
Reported: 2018-10-24 14:01 UTC by Michał Górny
Modified: 2018-10-29 10:17 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Note You need to log in before you can comment on or make changes to this bug.
Description Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2018-10-24 14:01:06 UTC
$ mmc
Error reading options file `/usr/lib/mercury/conf/Mercury.config'.
Mercury Compiler, version 14.01.1, configured for x86_64-pc-linux-gnu
Copyright (C) 1993-2014 The University of Melbourne
Usage: mmc [<options>] <arguments>
Use `mmc --help' for more information.

Apparently the file is installed to /usr/lib64 because of some brilliant Gentoo hackery.  This makes it impossible to build any package written in mercury.
Comment 1 Ralph Seichter 2018-10-27 12:39:31 UTC
This affects "Bower" (
Comment 2 Keri Harris gentoo-dev 2018-10-29 10:17:46 UTC
This is fixed in git with mercury-14.01.1-r1. Thanks for reporting this.