2020-12-05 00:36 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002468Frama-COpampublic2020-02-17 18:08
Reporterabutterfield 
Assigned Tomaroneze 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformMacbook ProOSOS X MojaveOS Version10.14.5
Product VersionFrama-C 19-Potassium 
Target VersionFixed in VersionFrama-C 20-Calcium 
Summary0002468: opam fails to install frama-c
Description ~> opam install frama-c
The following dependencies couldn't be met:
  - frama-c β†’ frama-c-base β†’ ocaml < 4.06
      base of this switch (use `--unlock-base' to force)
  - frama-c β†’ ocaml < 4.08.0
      base of this switch (use `--unlock-base' to force)

No solution found, exiting
Steps To ReproduceFollowed instructions on https://frama-c.com/install-19.0-Potassium.html#installing-frama-c-on-macos
after doing update/upgraders for both brew and opam - opam and Ocaml already installed.

Attached file shows complete OS X Terminal transcript
TagsNo tags attached.
Attached Files
  • txt file icon 2019-07-26-frama-c-install-fail.txt (90,442 bytes) 2019-07-26 16:16 -
    Last login: Tue Jul 23 18:39:30 on ttys000
    ~> type opam
    opam is /usr/local/bin/opam
    ~> opam init
    
    <><> Required setup - please read <><><><><><><><><><><><><><><><><><><><><>  🐫
    
      In normal operation, opam only alters files within ~/.opam.
    
      However, to best integrate with your system, some environment variables
      should be set. If you allow it to, this initialisation step will update
      your bash configuration by adding the following line to ~/.bash_profile:
    
        test -r /Users/butrfeld/.opam/opam-init/init.sh && . /Users/butrfeld/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
    
      Otherwise, every time you want to access your opam installation, you will
      need to run:
    
        eval $(opam env)
    
      You can always re-run this setup with 'opam init' later.
    
    Do you want opam to modify ~/.bash_profile? [N/y/f]
    (default is 'no', use 'f' to choose a different file)
    A hook can be added to opam's init scripts to ensure that the shell remains in
    sync with the opam environment when they are loaded. Set that up? [y/N] n
    ~>
    ~>
    ~>
    ~>
    ~>  eval $(opam env)
    ~> opam install num
    [NOTE] It seems you have not updated your repositories for a while. Consider
           updating them with:
           opam update
    
    The following actions will be performed:
      βˆ— install num 1.2
    
    <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    [num.1.2] downloaded from cache at https://opam.ocaml.org/cache
    
    <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    βˆ— installed num.1.2
    Done.
    ~> opam update
    
    <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><>  🐫
    [default] synchronised from https://opam.ocaml.org
    Now run 'opam upgrade' to apply any package updates.
    ~> opam upgrade
    The following actions will be performed:
      β†— upgrade   dune           1.10.0 to 1.11.0
      β†— upgrade   topkg          1.0.0 to 1.0.1
      ↻ recompile result         1.4              [uses dune]
      ↻ recompile mmap           1.1.0            [uses dune]
      ↻ recompile jbuilder       transition       [uses dune]
      ↻ recompile cppo           1.6.6            [uses dune]
      ↻ recompile charInfo_width 1.1.0            [uses dune]
      ↻ recompile lwt            4.2.1            [uses dune]
      ↻ recompile zed            2.0.2            [uses dune]
      ↻ recompile lwt_react      1.1.2            [uses dune]
      ↻ recompile lwt_log        1.1.0            [uses jbuilder]
      ↻ recompile lambda-term    2.0.1            [uses dune]
      ↻ recompile utop           2.4.0            [uses dune]
    ===== ↻ 11   β†— 2 =====
    Do you want to continue? [Y/n] Y
    
    <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    [charInfo_width.1.1.0] found in cache
    [cppo.1.6.6] found in cache
    [lambda-term.2.0.1] found in cache
    [lwt.4.2.1] found in cache
    [lwt_log.1.1.0] found in cache
    [lwt_react.1.1.2] found in cache
    [mmap.1.1.0] found in cache
    [result.1.4] found in cache
    [utop.2.4.0] found in cache
    [zed.2.0.2] found in cache
    [topkg.1.0.1] downloaded from cache at https://opam.ocaml.org/cache
    [dune.1.11.0] downloaded from cache at https://opam.ocaml.org/cache
    
    <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    ⊘ removed   topkg.1.0.0
    βˆ— installed topkg.1.0.1
    ⊘ removed   utop.2.4.0
    ⊘ removed   lambda-term.2.0.1
    ⊘ removed   lwt_log.1.1.0
    ⊘ removed   jbuilder.transition
    ⊘ removed   lwt_react.1.1.2
    ⊘ removed   lwt.4.2.1
    ⊘ removed   cppo.1.6.6
    ⊘ removed   mmap.1.1.0
    ⊘ removed   zed.2.0.2
    ⊘ removed   charInfo_width.1.1.0
    ⊘ removed   result.1.4
    ⊘ removed   dune.1.10.0
    βˆ— installed dune.1.11.0
    βˆ— installed jbuilder.transition
    βˆ— installed mmap.1.1.0
    βˆ— installed result.1.4
    βˆ— installed cppo.1.6.6
    βˆ— installed charInfo_width.1.1.0
    βˆ— installed zed.2.0.2
    βˆ— installed lwt.4.2.1
    βˆ— installed lwt_react.1.1.2
    βˆ— installed lwt_log.1.1.0
    βˆ— installed lambda-term.2.0.1
    βˆ— installed utop.2.4.0
    Done.
    
    <><> jbuilder.transition installed successfully <><><><><><><><><><><><><><>  🐫
    => Jbuilder has been renamed and the jbuilder package is now a transition
       package. Use the dune package instead.
    ~> brew update
    Updated 2 taps (homebrew/core and homebrew/cask).
    ==> New Formulae
    aliyun-cli                               k6
    allureofthestars                         kahip
    anime-downloader                         kim-api
    antibody                                 ktlint
    appstream-glib                           kubeaudit
    asyncplusplus                            lazygit
    atlantis                                 leela-zero
    aws-google-auth                          libevhtp
    bazelisk                                 libgr
    benthos                                  libsixel
    borgmatic                                libspng
    boringtun                                libvncserver
    breezy                                   libzt
    buildkit                                 lizard
    catch2                                   llvm@7
    ccls                                     mariadb@10.3
    cfn-lint                                 mdbook
    cjson                                    molten-vk
    clojure-lsp                              netlify-cli
    clzip                                    newman
    cmix                                     nlohmann-json
    contentful-cli                           openkim-models
    cpl                                      operator-sdk
    cpp-gsl                                  ospray
    cql                                      osqp
    csound                                   otf2
    csvq                                     phpstan
    cubelib                                  pipx
    cxxopts                                  pprint
    cypher-shell                             procs
    dbmate                                   proper
    deno                                     proteinortho
    devspace                                 protobuf@3.6
    dhall-bash                               pyinstaller
    docker-machine-driver-vmware             quickjs
    drone-cli                                s2geometry
    dust                                     scala@2.12
    embree                                   scdoc
    erlang@21                                scws
    fasttext                                 shadowenv
    faudio                                   sk
    ffsend                                   solr@7.7
    frpc                                     spice-gtk
    frps                                     spirv-tools
    gatsby-cli                               swig@3
    gcc@8                                    termshark
    gel                                      terraform@0.11
    gitleaks                                 terraformer
    go@1.11                                  terrahub
    grpc-swift                               tflint
    heatshrink                               vapoursynth-imwri
    helmsman                                 vapoursynth-ocr
    hey                                      vapoursynth-sub
    include-what-you-use                     virgil
    inlets                                   volt
    ipopt                                    whalebrew
    itk                                      yapf
    janet                                    zabbix-cli
    k3d
    ==> Updated Formulae
    ack βœ”                                    libmaa
    freetype βœ”                               libmagic
    gettext βœ”                                libmatroska
    glib βœ”                                   libmicrohttpd
    gnutls βœ”                                 libmp3splt
    graphviz βœ”                               libmpd
    haskell-stack βœ”                          libmpdclient
    libevent βœ”                               libmspub
    libpng βœ”                                 libmtp
    libssh2 βœ”                                libmwaw
    mercurial βœ”                              libmypaint
    openssl βœ”                                libnfs
    p11-kit βœ”                                libnice
    pixman βœ”                                 libnids
    python βœ”                                 libnotify
    qemu βœ”                                   libntlm
    readline βœ”                               libodfgen
    sphinx-doc βœ”                             libofx
    sqlite βœ”                                 libomp
    unbound βœ”                                libopenmpt
    webp βœ”                                   libosinfo
    wxmac βœ”                                  libpeas
    abcm2ps                                  libphonenumber
    abcmidi                                  libpointing
    abyss                                    libpq
    ace                                      libpqxx
    acpica                                   libprotoident
    activemq                                 libpsl
    adwaita-icon-theme                       libpst
    agda                                     libpulsar
    aide                                     libqalculate
    akamai                                   libquicktime
    akka                                     librasterlite
    algernon                                 libraw
    allegro                                  librdkafka
    allure                                   libre
    alot                                     librealsense
    amazon-ecs-cli                           librem
    ammonite-repl                            libressl
    amqp-cpp                                 librest
    amtk                                     librsvg
    angle-grinder                            libsass
    angular-cli                              libsbol
    anjuta                                   libsecret
    annie                                    libshout
    ansible                                  libsigc++
    ansifilter                               libsmf
    ant                                      libsodium
    ant@1.9                                  libsoundio
    anycable-go                              libsoup
    anyenv                                   libspatialite
    apache-archiva                           libspectre
    apache-arrow                             libspectrum
    apache-arrow-glib                        libssh
    apache-drill                             libstatgrab
    apache-flink                             libsvm
    apache-geode                             libswiften
    apache-spark                             libtensorflow
    apachetop                                libtermkey
    app-engine-python                        libtins
    apr                                      libtommath
    apt-dater                                libtorrent-rasterbar
    aptly                                    libtrace
    aqbanking                                libuninameslist
    arangodb                                 libuv
    aravis                                   libvirt
    argon2                                   libvirt-glib
    argyll-cms                               libvisio
    armadillo                                libvmaf
    armor                                    libvpx
    arpack                                   libwpd
    artifactory                              libwpg
    asciidoctor                              libxc
    asciidoctorj                             libxkbcommon
    asdf                                     libxlsxwriter
    ask-cli                                  libxml++
    aspectj                                  libxml++3
    astrometry-net                           libxmlsec1
    atari800                                 libxo
    atk                                      libzdb
    atkmm                                    libzip
    atlassian-cli                            lighttpd
    atomist-cli                              lilv
    ats2-postiats                            link-grammar
    aubio                                    linkerd
    audacious                                links
    auditbeat                                liquibase
    augeas                                   lldpd
    autojump                                 llnode
    autopep8                                 llvm
    autorest                                 lmdb
    autossh                                  lmod
    avfs                                     lnav
    avra                                     log4cplus
    avro-c                                   log4shib
    avro-cpp                                 logcheck
    avro-tools                               logstash
    awf                                      logtalk
    aws-iam-authenticator                    lolcat
    aws-okta                                 lorem
    aws-sdk-cpp                              loudmouth
    awscli                                   lsd
    axel                                     luarocks
    azure-cli                                lumo
    azure-storage-cpp                        lv2
    b2-tools                                 lwtools
    babel                                    lxc
    babeld                                   lynis
    babl                                     lz4
    bacula-fd                                lzip
    badtouch                                 mackup
    balena-cli                               macvim
    ballerina                                mafft
    baobab                                   magic-wormhole
    bartycrouch                              mailutils
    basex                                    mame
    bash                                     mapnik
    bat                                      mapserver
    bazel                                    mariadb
    bdw-gc                                   mariadb-connector-c
    beanstalkd                               mariadb@10.1
    bear                                     mariadb@10.2
    bedops                                   mas
    bedtools                                 mat2
    bee                                      math-comp
    berkeley-db                              maven
    bettercap                                maxima
    bgpstream                                maxwell
    binaryen                                 mbedtls
    bind                                     mcabber
    bindfs                                   mdbtools
    binwalk                                  mdcat
    bison                                    mdds
    bit                                      mdk
    bitcoin                                  media-info
    bitlbee                                  mednafen
    bitrise                                  megatools
    bitwarden-cli                            memcached
    black                                    menhir
    blast                                    mesa
    blink1                                   meson
    bluepill                                 mesos
    bnd                                      metabase
    bookloupe                                metaproxy
    boost                                    metricbeat
    boost-bcp                                mg
    boost-build                              mgba
    boost-mpi                                micronaut
    boost-python                             micropython
    boost-python3                            midgard2
    botan                                    midnight-commander
    bowtie2                                  mighttpd2
    braid                                    mikutter
    brew-gem                                 mill
    bro                                      mimic
    btfs                                     minbif
    buildifier                               minetest
    buku                                     mingw-w64
    bundletool                               minimal-racket
    bwfmetaedit                              minio
    byacc                                    minio-mc
    byobu                                    minizinc
    byteman                                  mint
    bzip2                                    mitie
    bzt                                      mk-configure
    c-blosc                                  mkl-dnn
    cabextract                               mksh
    cadaver                                  mkvtoolnix
    caddy                                    mlkit
    caffe                                    mlt
    cairo                                    mmark
    cake                                     mmseqs2
    calcurse                                 modules
    calicoctl                                molecule
    camlp4                                   monero
    cargo-completion                         monetdb
    carla                                    mongo-c-driver
    carthage                                 mongoose
    cash-cli                                 monit
    castxml                                  monkeysphere
    cataclysm                                mono
    catimg                                   mono-libgdiplus
    cattle                                   mosquitto
    cc65                                     most
    ccache                                   mp3splt
    ccextractor                              mpck
    cdk                                      mpd
    center-im                                mpdscribble
    ceres-solver                             mpfr
    certbot                                  mpg123
    cf4ocl                                   mpich
    cfengine                                 mplayer
    cfr-decompiler                           mpop
    cfssl                                    mps-youtube
    cgal                                     mruby
    cgit                                     msgpack
    cglm                                     msitools
    cgrep                                    msktutil
    chafa                                    msmtp
    chakra                                   mtools
    chamber                                  mu
    chapel                                   mujs
    charm                                    mupdf
    checkbashisms                            mupdf-tools
    checkstyle                               mutt
    chezscheme                               mvnvm
    chicken                                  mvtools
    chipmunk                                 mypy
    chrome-export                            mysql
    chronograf                               mysql++
    cimg                                     mysql@5.7
    circleci                                 mysqltuner
    citus                                    n
    cjdns                                    nagios
    ckan                                     nano
    clamav                                   nanopb-generator
    clang-format                             nativefier
    clhep                                    nats-streaming-server
    cli53                                    nave
    click                                    ncdc
    cloc                                     ncmpc
    clojure                                  ncmpcpp
    clojurescript                            nco
    clozure-cl                               ncview
    clutter                                  ndpi
    clutter-gst                              needle
    clutter-gtk                              neo4j
    cmake                                    neomutt
    cmark                                    neovim
    cmark-gfm                                netcdf
    cmocka                                   netdata
    cockroach                                nethack
    cocoapods                                netpbm
    coffeescript                             newsboat
    cogl                                     newt
    cointop                                  nexus
    collectd                                 nghttp2
    collector-sidecar                        nginx
    commandbox                               nickle
    compcert                                 nicovideo-dl
    composer                                 nifi
    conan                                    nifi-registry
    confluent-oss                            nim
    conjure-up                               nlopt
    conserver                                nnn
    consul                                   node
    convox                                   node-build
    coq                                      node@10
    corectl                                  node@8
    corsixth                                 node_exporter
    coturn                                   nodenv
    couchdb                                  nomad
    cp2k                                     nordugrid-arc
    cpansearch                               noti
    cppad                                    notmuch
    cppcheck                                 nsd
    cpprestsdk                               nss
    cracklib                                 ntfs-3g
    crc32c                                   ntl
    creduce                                  numpy
    cromwell                                 nwchem
    crosstool-ng                             nzbget
    crowdin                                  ocaml-num
    cryfs                                    ocamlbuild
    cryptol                                  ocrad
    crystal                                  ocrmypdf
    crystal-icr                              octave
    csvkit                                   odpi
    ctl                                      ola
    cucumber-cpp                             omega
    curl                                     omniorb
    curl-openssl                             ompl
    curlftpfs                                oniguruma
    cutter                                   onscripter
    cython                                   opa
    dartsim                                  opam
    datamash                                 open-jtalk
    datetime-fortran                         open-mesh
    dateutils                                open-mpi
    dav1d                                    open-zwave
    davix                                    openapi-generator
    dbhash                                   openblas
    dbus                                     opencascade
    dbus-glib                                opencc
    dc3dd                                    opencoarrays
    dcd                                      opencolorio
    dcm2niix                                 openconnect
    dcos-cli                                 opencv
    deark                                    opencv@2
    debianutils                              opencv@3
    dehydrated                               openexr
    dep                                      openfortivpn
    dependency-check                         openh264
    derby                                    openhmd
    desktop-file-utils                       openimageio
    dfc                                      openjpeg
    dfmt                                     openrct2
    dhall                                    opensaml
    dhall-json                               openshift-cli
    di                                       openslide
    diamond                                  openssh
    diff-pdf                                 openssl@1.1
    diff-so-fancy                            opensubdiv
    diffoscope                               openttd
    digdag                                   openvdb
    direnv                                   openvpn
    direvent                                 opus
    dita-ot                                  orbit
    django-completion                        orc-tools
    dlib                                     ori
    dmd                                      osc
    dnscontrol                               oscats
    dnscrypt-proxy                           osm-gps-map
    dnsperf                                  osm2pgrouting
    dnstwist                                 osm2pgsql
    dnsviz                                   osmosis
    docfx                                    osquery
    docker                                   osrm-backend
    docker-completion                        overmind
    docker-compose                           owfs
    docker-compose-completion                oxipng
    docker-credential-helper                 pacapt
    docker-credential-helper-ecr             packer
    docker-machine-driver-xhyve              packmol
    doctl                                    paket
    docutils                                 pam-u2f
    doitlive                                 pandoc
    dopewars                                 pandoc-citeproc
    dosbox                                   pandoc-crossref
    double-conversion                        pango
    dovecot                                  pangomm
    dpkg                                     paperkey
    dropbear                                 paps
    druid                                    parallel
    dscanner                                 parallelstl
    dspdfviewer                              pari
    dssim                                    passenger
    dub                                      patchelf
    duc                                      payara
    duck                                     pazpar2
    dungeon                                  pbrt
    duo_unix                                 pcapplusplus
    duply                                    pcb
    dwdiff                                   pcb2gcode
    dynamips                                 pcl
    dynare                                   pcre2
    e2fsprogs                                pcsc-lite
    easy-tag                                 pdal
    easyengine                               pdf2htmlex
    easyrpg-player                           pdf2svg
    ecasound                                 pdfcrack
    eccodes                                  pdfgrep
    efl                                      pdfpc
    eiffelstudio                             pdftoipe
    ejabberd                                 pdns
    elasticsearch                            pdnsrec
    elasticsearch@5.6                        peg-markdown
    elixir                                   pegtl
    emacs                                    percona-xtrabackup
    embulk                                   perl
    emscripten                               perltidy
    encfs                                    peru
    enchant                                  petsc
    enigma                                   petsc-complex
    enscript                                 pgbadger
    entr                                     pgbouncer
    envconsul                                pgcli
    epic5                                    pgformatter
    eprover                                  pgloader
    epubcheck                                pgplot
    erlang                                   pgrouting
    erlang@19                                phoronix-test-suite
    erlang@20                                php
    eslint                                   php-code-sniffer
    esptool                                  php-cs-fixer
    etcd                                     php@7.1
    ethereum                                 php@7.2
    etl                                      phplint
    etsh                                     phpmd
    ettercap                                 phpmyadmin
    evince                                   phpunit
    exa                                      physfs
    exact-image                              picard-tools
    exempi                                   picat
    exercism                                 pick
    exiftool                                 pidgin
    exim                                     pijul
    exiv2                                    pilosa
    exomizer                                 pinboard-notes-backup
    expat                                    pinfo
    exploitdb                                pioneer
    eye-d3                                   pioneers
    f3                                       pius
    faas-cli                                 pjproject
    fades                                    planck
    fastme                                   plantuml
    fb-client                                platformio
    fceux                                    platypus
    feh                                      plplot
    ffe                                      plzip
    ffmpeg                                   pmd
    ffmpeg@2.8                               pms
    fftw                                     png++
    fibjs                                    pngquant
    field3d                                  poco
    file-formula                             pod2man
    file-roller                              podofo
    fio                                      points2grid
    firebase-cli                             polyml
    flake8                                   pony-stable
    flashrom                                 ponyc
    flatbuffers                              poppler
    flatcc                                   postgis
    flawfinder                               postgresql
    flex                                     postgresql@10
    flintrock                                postgresql@9.4
    flow                                     postgresql@9.5
    fltk                                     postgresql@9.6
    fluid-synth                              postgrest
    flume                                    ppsspp
    fluxctl                                  pqiv
    fn                                       pre-commit
    fobis                                    prefixsuffix
    folly                                    presto
    fontforge                                prettier
    fonttools                                prips
    fortio                                   privoxy
    fossil                                   procyon-decompiler
    fourstore                                profanity
    fping                                    proftpd
    fq                                       proguard
    freeciv                                  proj
    freediameter                             prometheus
    freedink                                 protobuf
    freeipmi                                 protobuf-c
    freeling                                 protoc-gen-go
    freeradius-server                        prototool
    freetds                                  proxychains-ng
    frugal                                   pspg
    fs-uae                                   psql2csv
    fselect                                  pstoedit
    fstrm                                    ptex
    fuse-emulator                            pulledpork
    fuse-zip                                 pulumi
    fuseki                                   pumba
    futhark                                  pure-ftpd
    fx                                       purescript
    fzf                                      pushpin
    gabedit                                  putty
    galen                                    py2cairo
    gammaray                                 py3cairo
    gammu                                    pybind11
    gandi.cli                                pyenv
    gauche                                   pygobject
    gauge                                    pygobject3
    gawk                                     pygtk
    gbdfed                                   pygtkglext
    gcab                                     pygtksourceview
    gcc                                      pypy
    gcc@5                                    pypy3
    gcc@6                                    pyside
    gcc@7                                    python-markdown
    gcsfuse                                  pyvim
    gdal                                     qalculate-gtk
    gdb                                      qbs
    gdcm                                     qca
    gdk-pixbuf                               qd
    gdl                                      qmmp
    gdmap                                    qpdf
    gearboy                                  qrupdate
    gearsystem                               qt
    gecode                                   quantlib
    geeqie                                   quazip
    gegl                                     quicktype
    genact                                   quilt
    gengetopt                                qwt
    genometools                              qxmpp
    geocode-glib                             r
    geogram                                  rabbitmq
    geoipupdate                              radare2
    geos                                     rakudo-star
    geoserver                                rancher-cli
    gerbil-scheme                            rancid
    gerbv                                    range-v3
    get_iplayer                              rawtoaces
    getdns                                   raylib
    getmail                                  rbenv
    gexiv2                                   rbspy
    ghc                                      rclone
    ghex                                     rdesktop
    ghostscript                              rdup
    ghq                                      re-flex
    ghr                                      re2
    gibo                                     reattach-to-user-namespace
    gif2png                                  rebar3
    gifsicle                                 recode
    gifski                                   recon-ng
    ginac                                    recoverjpeg
    git                                      redex
    git-absorb                               redis
    git-annex                                redis@3.2
    git-cinnabar                             redis@4.0
    git-cola                                 redo
    git-fixup                                redshift
    git-flow-avh                             remarshal
    git-fresh                                remind
    git-ftp                                  repo
    git-lfs                                  reposurgeon
    git-quick-stats                          reprepro
    git-recent                               restic
    git-remote-hg                            restview
    git-review                               rex
    git-secret                               rhino
    git-town                                 riemann
    gitbucket                                riff
    gitfs                                    ripgrep
    gitg                                     rke
    github-keygen                            rmlint
    gitlab-runner                            robot-framework
    gitless                                  rocksdb
    gitmoji                                  roll
    gjs                                      rom-tools
    gkrellm                                  root
    glade                                    roswell
    glances                                  rpm
    glfw                                     rpm2cpio
    glib-networking                          rrdtool
    glibmm                                   rst-lint
    glide                                    rsyslog
    glm                                      rt-audio
    glog                                     rtags
    glooctl                                  rtmidi
    gloox                                    rtv
    glslang                                  ruby
    glui                                     ruby-build
    glyr                                     ruby@2.4
    gmic                                     ruby@2.5
    gmime                                    rush
    gmsh                                     rust
    gmt                                      rustup-init
    gmt@4                                    s-nail
    gnome-autoar                             s-search
    gnome-builder                            s3-backer
    gnome-latex                              s3fs
    gnome-recipes                            s3ql
    gnome-themes-standard                    s6
    gnu-apl                                  salt
    gnu-getopt                               sassc
    gnu-indent                               saxon
    gnu-typist                               sbcl
    gnu-units                                scala
    gnumeric                                 scalapack
    gnunet                                   scalariform
    gnupg                                    scamper
    gnuplot                                  sccache
    gnuradio                                 sceptre
    go                                       schismtracker
    go-statik                                scipy
    goaccess                                 scmpuff
    gobby                                    scons
    gobject-introspection                    scrcpy
    gobuster                                 scrollkeeper
    gocr                                     scw
    gocryptfs                                sd
    godep                                    sdb
    goffice                                  sdcc
    golang-migrate                           sdcv
    gollum                                   sdl
    golo                                     sdl2
    gom                                      sdl2_image
    gomplate                                 sdl2_ttf
    goocanvas                                sdlpop
    goofys                                   sec
    google-authenticator-libpam              securefs
    google-benchmark                         ser2net
    googler                                  serd
    gopass                                   serf
    gor                                      serve
    goreleaser                               serverless
    gosu                                     servus
    gox                                      sf-pwgen
    gpa                                      sfcgal
    gpac                                     sflowtool
    gpgme                                    shadowsocks-libev
    gphoto2                                  shapelib
    gpredict                                 shared-mime-info
    gpsbabel                                 shc
    gpsim                                    shfmt
    gqview                                   shibboleth-sp
    gr-osmosdr                               ship
    gradio                                   shogun
    gradle                                   shpotify
    grafana                                  shyaml
    grails                                   sile
    grakn                                    silk
    graph-tool                               simple-scan
    graphene                                 simple-tiles
    graphicsmagick                           singular
    grib-api                                 sip
    gromacs                                  sipp
    groonga                                  sipsak
    groovy                                   siril
    groovysdk                                sispmctl
    grpc                                     skaffold
    grpcurl                                  skktools
    grsync                                   skopeo
    grv                                      slackcat
    gsmartcontrol                            sleepwatcher
    gsoap                                    sleuthkit
    gspell                                   smali
    gssdp                                    smimesign
    gssh                                     sn0int
    gst-editing-services                     snakemake
    gst-libav                                snapcraft
    gst-plugins-bad                          snort
    gst-plugins-base                         snownews
    gst-plugins-good                         socat
    gst-plugins-ugly                         sofia-sip
    gst-python                               solr
    gst-rtsp-server                          sonar-scanner
    gst-validate                             sonarqube
    gstreamer                                sonobuoy
    gstreamermm                              sops
    gtk+                                     source-highlight
    gtk+3                                    source-to-image
    gtk-chtheme                              sourcekitten
    gtk-doc                                  sourcery
    gtk-gnutella                             spades
    gtk-mac-integration                      sparse
    gtk-vnc                                  spatialite-gui
    gtkdatabox                               spatialite-tools
    gtkextra                                 spice-protocol
    gtkglext                                 spigot
    gtkmm                                    spin
    gtkmm3                                   spirv-cross
    gtksourceview                            sqlcipher
    gtksourceview3                           sqldiff
    gtksourceview4                           sqlite-analyzer
    gtksourceviewmm                          sqlmap
    gtksourceviewmm3                         squid
    gtkspell3                                sratom
    gtranslator                              srt
    gts                                      ssh-copy-id
    gucharmap                                sshfs
    guile                                    sshguard
    gupnp                                    sshtrix
    gupnp-av                                 sslh
    gupnp-tools                              ssllabs-scan
    gwenhywfar                               sslscan
    gwyddion                                 sslsplit
    gx                                       stanford-parser
    gxml                                     stella
    h3                                       stellar-core
    hadolint                                 step
    hadoop                                   stern
    hamlib                                   stk
    hana                                     stout
    hapi-fhir-cli                            streamlink
    haproxy                                  streamripper
    harfbuzz                                 stress-ng
    hatari                                   strongswan
    hbase                                    stubby
    hcloud                                   stunnel
    hdf5                                     stuntman
    hdf5@1.8                                 subnetcalc
    hebcal                                   subversion
    heimdal                                  suil
    helmfile                                 suite-sparse
    help2man                                 sundials
    herrie                                   superlu
    hexyl                                    supersonic
    hfstospell                               supervisor
    hg-fast-export                           svgo
    hidapi                                   swagger-codegen
    highlight                                swagger-codegen@2
    hivemind                                 swaks
    hledger                                  swi-prolog
    hlint                                    swift-protobuf
    homeassistant-cli                        swiftformat
    homebank                                 swiftlint
    hopenpgp-tools                           swig
    howdoi                                   swimat
    hqx                                      sxiv
    htmlcxx                                  sylpheed
    http-parser                              sync_gateway
    httpd                                    syncthing
    httping                                  synfig
    hub                                      sysbench
    hugo                                     sysdig
    hunspell                                 tag
    hwloc                                    talloc
    hydra                                    tarantool
    hyperfine                                taskell
    hyperkit                                 tass64
    hyperscan                                tbb
    hypre                                    tcpreplay
    i2p                                      tcsh
    i2pd                                     tdlib
    i386-elf-gcc                             tectonic
    i386-elf-gdb                             teleconsole
    i386-elf-grub                            telegraf
    iamy                                     teleport
    ibex                                     template-glib
    icecream                                 tepl
    icu4c                                    termtosvg
    idnits                                   terraform
    idris                                    terraform_landscape
    igv                                      terraforming
    ilmbase                                  terragrunt
    imagemagick                              tesseract
    imagemagick@6                            testssl
    imageoptim-cli                           texmath
    imake                                    tfenv
    imapsync                                 tgui
    influxdb                                 thefuck
    iniparser                                thors-serializer
    interactive-rebase-tool                  tiger-vnc
    internetarchive                          tika
    ios-sim                                  tile38
    ios-webkit-debug-proxy                   tintin
    iozone                                   tippecanoe
    ipbt                                     tkdiff
    iperf3                                   tmpreaper
    ipfs                                     tmux
    ipv6calc                                 tmux-xpanes
    ipython                                  tmuxinator-completion
    ircii                                    todoman
    irssi                                    tokei
    isl                                      tomcat
    iso-codes                                tomcat-native
    ispc                                     tomcat@7
    istioctl                                 tomcat@8
    isync                                    tomee-plus
    itstool                                  tomee-webprofile
    ivykis                                   topgrade
    jadx                                     tor
    jailkit                                  torsocks
    jasper                                   tox
    jbig2dec                                 traefik
    jboss-forge                              trafficserver
    jdnssec-tools                            translate-shell
    jdupes                                   translate-toolkit
    jemalloc                                 travis
    jena                                     treefrog
    jenkins                                  trezor-agent
    jenkins-job-builder                      triton
    jenkins-lts                              ttfautohint
    jetty                                    ttyd
    jfrog-cli-go                             tundra
    jhead                                    twine-pypi
    jhiccup                                  txr
    jhipster                                 typescript
    jid                                      u-boot-tools
    jigdo                                    ucloud
    jinja2-cli                               udunits
    jlog                                     ufraw
    jmeter                                   uftp
    jmxterm                                  uhd
    jnettop                                  ultralist
    john                                     uncrustify
    joplin                                   ungit
    jp2a                                     unp64
    jpeg-turbo                               unrar
    jruby                                    unrtf
    jsdoc3                                   unzip
    json-fortran                             upscaledb
    json-glib                                urbit
    json_spirit                              urdfdom_headers
    jsoncpp                                  urh
    jsonnet                                  uriparser
    jsonschema2pojo                          userspace-rcu
    juju                                     utf8proc
    julius                                   util-linux
    jump                                     utimer
    just                                     uwsgi
    jvgrep                                   v8
    kafka                                    vagrant-completion
    kafkacat                                 vala
    kallisto                                 valabind
    kapacitor                                valgrind
    khal                                     vamp-plugin-sdk
    khard                                    vapoursynth
    kibana                                   varnish
    kibana@5.6                               vault
    kitchen-sync                             vault-cli
    klavaro                                  vcdimager
    knot                                     vegeta
    knot-resolver                            velero
    kobalt                                   verilator
    kops                                     vert.x
    kore                                     vfuse
    kotlin                                   vice
    krakend                                  viewvc
    krb5                                     vifm
    ktmpl                                    vim
    kube-aws                                 vim@7.4
    kubecfg                                  vips
    kubeless                                 visp
    kubeprod                                 vitetris
    kubernetes-cli                           vmtouch
    kubernetes-helm                          vnstat
    kubernetes-service-catalog-client        volatility
    kubeseal                                 vowpal-wabbit
    kustomize                                vte
    kvazaar                                  vte3
    kyoto-cabinet                            vtk
    kyoto-tycoon                             vttest
    lablgtk                                  vulkan-headers
    lammps                                   vultr
    landscaper                               wabt
    languagetool                             wandio
    lapack                                   wartremover
    lasi                                     watchexec
    lasso                                    watson
    lastpass-cli                             wcslib
    laszip                                   wdfs
    latex2html                               wdiff
    latexml                                  weaver
    lbdb                                     webdis
    lcdf-typetools                           webpack
    ldapvi                                   websocat
    ldc                                      websocketd
    lean-cli                                 webtorrent-cli
    ledger                                   weechat
    lego                                     wesnoth
    lensfun                                  wget
    leptonica                                wgetpaste
    leveldb                                  whois
    lf                                       widelands
    lgogdownloader                           wildfly-as
    libatomic_ops                            wimlib
    libb2                                    wine
    libbi                                    winetricks
    libbitcoin                               wiredtiger
    libbitcoin-blockchain                    wireguard-go
    libbitcoin-client                        wireguard-tools
    libbitcoin-database                      wiremock-standalone
    libbitcoin-explorer                      wireshark
    libbitcoin-network                       wla-dx
    libbitcoin-node                          wmctrl
    libbitcoin-protocol                      wolfssl
    libbitcoin-server                        wp-cli
    libbluray                                wp-cli-completion
    libcddb                                  wsk
    libcdio                                  wtf
    libcdr                                   wv
    libchamplain                             wxmaxima
    libcoap                                  wxpython
    libcouchbase                             x11vnc
    libcroco                                 x265
    libdap                                   x3270
    libdazzle                                xa
    libdc1394                                xapian
    libdill                                  xboard
    libebml                                  xcodegen
    libedit                                  xctool
    liberasurecode                           xmake
    libestr                                  xml-tooling-c
    libetonyek                               xmrig
    libetpan                                 xonsh
    libev                                    xorriso
    libfabric                                xpa
    libfixbuf                                xpdf
    libgaiagraphics                          xplanet
    libgda                                   xsane
    libgdata                                 xsimd
    libgee                                   xxhash
    libgeotiff                               yaf
    libgit2                                  yamllint
    libgit2-glib                             yara
    libglade                                 yarn
    libglademm                               yash
    libgnomecanvas                           yaz
    libgnomecanvasmm                         ydcv
    libgpg-error                             yelp-tools
    libgphoto2                               ykman
    libgsf                                   ykpers
    libgtop                                  yle-dl
    libgweather                              you-get
    libhdhomerun                             youtube-dl
    libheif                                  yq
    libhttpseverywhere                       yubico-piv-tool
    libical                                  z3
    libiconv                                 zabbix
    libidl                                   zebra
    libidn2                                  zenity
    libimagequant                            zeromq
    libinfinity                              zig
    libiptcdata                              zim
    libiscsi                                 zimg
    libjson-rpc-cpp                          zlog
    libjwt                                   znc
    liblas                                   zola
    liblcf                                   zorba
    liblinear                                zsh-autosuggestions
    liblqr                                   zshdb
    libltc                                   zstd
    liblunar                                 zurl
    liblwgeom
    ==> Renamed Formulae
    gnatsd -> nats-server
    ==> Deleted Formulae
    at-spi2-atk         js-test-driver      protobuf@2.5        tmux-cssh
    at-spi2-core        libggz              protobuf@2.6        tomcat@6
    compose2kube        libguess            rlvm                typesafe-activator
    dsd                 libutf              ruby@2.3            varnish@4
    erlang@18           lysp                safe                whirr
    go@1.4              minisat             scala@2.10          xmoto
    go@1.8              monax               smlnj               zxing-cpp
    gtk-engines         node@6              solr@5.5
    gtk-murrine-engine  pdftoedn            solr@6.6
    guile@2.0           plan9port           swig@3.04
    ~> type autoconf
    -bash: type: autoconf: not found
    ~> brew upgrade
    ==> Upgrading 21 outdated packages:
    libpng 1.6.36 -> 1.6.37, pixman 0.38.0 -> 0.38.4, freetype 2.9.1 -> 2.10.1, python 3.7.2_2 -> 3.7.4, glib 2.60.0_1 -> 2.60.6, readline 8.0.0 -> 8.0.0_1, webp 1.0.2 -> 1.0.3, sqlite 3.27.1 -> 3.29.0, gettext 0.19.8.1 -> 0.20.1, libssh2 1.8.0 -> 1.9.0, haskell-stack 1.9.3 -> 2.1.3, qemu 3.1.0_1 -> 4.0.0_2, mercurial 4.9 -> 5.0.2, graphviz 2.40.1 -> 2.40.1_1, sphinx-doc 1.8.5 -> 2.1.2, libevent 2.1.8 -> 2.1.10, unbound 1.9.1 -> 1.9.2, openssl 1.0.2q -> 1.0.2s, p11-kit 0.23.15 -> 0.23.16.1, ack 2.24 -> 3.0.2, gnutls 3.6.6 -> 3.6.8
    ==> Upgrading readline
    ==> Downloading https://homebrew.bintray.com/bottles/readline-8.0.0_1.mojave.bot
    ==> Downloading from https://akamai.bintray.com/fa/faab004773e6449dd97971311cb62
    ######################################################################## 100.0%
    ==> Pouring readline-8.0.0_1.mojave.bottle.tar.gz
    ==> Caveats
    readline is keg-only, which means it was not symlinked into /usr/local,
    because macOS provides the BSD libedit library, which shadows libreadline.
    In order to prevent conflicts when programs look for libreadline we are
    defaulting this GNU Readline installation to keg-only.
    
    For compilers to find readline you may need to set:
      export LDFLAGS="-L/usr/local/opt/readline/lib"
      export CPPFLAGS="-I/usr/local/opt/readline/include"
    
    For pkg-config to find readline you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/readline/lib/pkgconfig"
    
    ==> Summary
    🍺  /usr/local/Cellar/readline/8.0.0_1: 48 files, 1.5MB
    ==> `brew cleanup` has not been run in 30 days, running now...
    Removing: /Users/butrfeld/Library/Caches/Homebrew/ack--2.24... (138.3KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/dos2unix--7.4.0.mojave.bottle.tar.gz... (106.2KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/fontconfig--2.13.1.mojave.bottle.tar.gz... (1.2MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/gdbm--1.18.1.mojave.bottle.1.tar.gz... (196.2KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/glib--2.60.0_1.mojave.bottle.tar.gz... (4.4MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/gmp--6.1.2_2.mojave.bottle.1.tar.gz... (1006.6KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/gnutls--3.6.6.mojave.bottle.1.tar.gz... (2.8MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/haskell-stack--1.9.3.mojave.bottle.tar.gz... (8.6MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/libevent--2.1.8.mojave.bottle.tar.gz... (771.7KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/libpng--1.6.36.mojave.bottle.tar.gz... (440.6KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/libssh2--1.8.0.mojave.bottle.1.tar.gz... (267.5KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/libtasn1--4.13.mojave.bottle.tar.gz... (135.9KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/libtiff--4.0.10_1.mojave.bottle.tar.gz... (1MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/libunistring--0.9.10.mojave.bottle.tar.gz... (1.4MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/libusb--1.0.22.mojave.bottle.tar.gz... (162.5KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/mercurial--4.9.mojave.bottle.tar.gz... (2.4MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/ncurses--6.1.mojave.bottle.tar.gz... (2.2MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/nettle--3.4.1.mojave.bottle.tar.gz... (730.8KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/openssl--1.0.2q.mojave.bottle.tar.gz... (3.7MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/p11-kit--0.23.15.mojave.bottle.tar.gz... (695.4KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/pcre--8.43.mojave.bottle.tar.gz... (1.8MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/pixman--0.38.0.mojave.bottle.tar.gz... (517KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/pkg-config--0.29.2.mojave.bottle.tar.gz... (235.3KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/python--3.7.2_2.mojave.bottle.tar.gz... (14.6MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/python@2--2.7.16.mojave.bottle.tar.gz... (18.5MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/qemu--3.1.0_1.mojave.bottle.1.tar.gz... (74.2MB)
    Removing: /usr/local/Cellar/readline/8.0.0... (48 files, 1.5MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/readline--8.0.0.mojave.bottle.tar.gz... (516.7KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/sphinx-doc--1.8.5.mojave.bottle.tar.gz... (14.1MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/sqlite--3.27.1.mojave.bottle.tar.gz... (1.8MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/unbound--1.9.1.mojave.bottle.tar.gz... (2.4MB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/vde--2.3.2.mojave.bottle.tar.gz... (222.9KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/webp--1.0.2.mojave.bottle.tar.gz... (851.4KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/xz--5.2.4.mojave.bottle.tar.gz... (373.5KB)
    Removing: /Users/butrfeld/Library/Caches/Homebrew/portable-ruby-2.3.7.leopard_64.bottle.tar.gz... (12.4MB)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/pkg-config... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/libtiff... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/gmp... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/python@2... (3 files, 128KB)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/libpng... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/ncurses... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/nettle... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/pixman... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/gdbm... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/python... (3 files, 132.6KB)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/libunistring... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/glib... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/readline... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/webp... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/sqlite... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/xz... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/vde... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/fontconfig... (992B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/libssh2... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/haskell-stack... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/qemu... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/mercurial... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/sphinx-doc... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/libtasn1... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/libevent... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/pcre... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/dos2unix... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/unbound... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/libusb... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/p11-kit... (64B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/ack... (2 files, 208B)
    Removing: /Users/butrfeld/Library/Logs/Homebrew/gnutls... (64B)
    Pruned 0 symbolic links and 3 directories from /usr/local
    ==> Upgrading openssl
    ==> Downloading https://homebrew.bintray.com/bottles/openssl-1.0.2s.mojave.bottl
    ==> Downloading from https://akamai.bintray.com/c4/c4a762d719c2be74ac686f1aafabb
    ######################################################################## 100.0%
    ==> Pouring openssl-1.0.2s.mojave.bottle.tar.gz
    ==> Caveats
    A CA file has been bootstrapped using certificates from the SystemRoots
    keychain. To add additional certificates (e.g. the certificates added in
    the System keychain), place .pem files in
      /usr/local/etc/openssl/certs
    
    and run
      /usr/local/opt/openssl/bin/c_rehash
    
    openssl is keg-only, which means it was not symlinked into /usr/local,
    because Apple has deprecated use of OpenSSL in favor of its own TLS and crypto libraries.
    
    If you need to have openssl first in your PATH run:
      echo 'export PATH="/usr/local/opt/openssl/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find openssl you may need to set:
      export LDFLAGS="-L/usr/local/opt/openssl/lib"
      export CPPFLAGS="-I/usr/local/opt/openssl/include"
    
    For pkg-config to find openssl you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/openssl/lib/pkgconfig"
    
    ==> Summary
    🍺  /usr/local/Cellar/openssl/1.0.2s: 1,795 files, 12.0MB
    Removing: /usr/local/Cellar/openssl/1.0.2q... (1,794 files, 12.1MB)
    ==> Upgrading sqlite
    ==> Downloading https://homebrew.bintray.com/bottles/sqlite-3.29.0.mojave.bottle
    ==> Downloading from https://akamai.bintray.com/5f/5f2f8f36a8d13733b0374ac39bdcd
    ######################################################################## 100.0%
    ==> Pouring sqlite-3.29.0.mojave.bottle.tar.gz
    ==> Caveats
    sqlite is keg-only, which means it was not symlinked into /usr/local,
    because macOS provides an older sqlite3.
    
    If you need to have sqlite first in your PATH run:
      echo 'export PATH="/usr/local/opt/sqlite/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find sqlite you may need to set:
      export LDFLAGS="-L/usr/local/opt/sqlite/lib"
      export CPPFLAGS="-I/usr/local/opt/sqlite/include"
    
    For pkg-config to find sqlite you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/sqlite/lib/pkgconfig"
    
    ==> Summary
    🍺  /usr/local/Cellar/sqlite/3.29.0: 11 files, 3.9MB
    Removing: /usr/local/Cellar/sqlite/3.27.1... (11 files, 3.7MB)
    ==> Upgrading sphinx-doc
    ==> Installing dependencies for sphinx-doc: python
    ==> Installing sphinx-doc dependency: python
    ==> Downloading https://homebrew.bintray.com/bottles/python-3.7.4.mojave.bottle.
    ==> Downloading from https://akamai.bintray.com/81/81fc6e5914a16387bd09387ce08e9
    ######################################################################## 100.0%
    ==> Pouring python-3.7.4.mojave.bottle.tar.gz
    ==> /usr/local/Cellar/python/3.7.4/bin/python3 -s setup.py --no-user-cfg install
    ==> /usr/local/Cellar/python/3.7.4/bin/python3 -s setup.py --no-user-cfg install
    ==> /usr/local/Cellar/python/3.7.4/bin/python3 -s setup.py --no-user-cfg install
    ==> Caveats
    Python has been installed as
      /usr/local/bin/python3
    
    Unversioned symlinks `python`, `python-config`, `pip` etc. pointing to
    `python3`, `python3-config`, `pip3` etc., respectively, have been installed into
      /usr/local/opt/python/libexec/bin
    
    If you need Homebrew's Python 2.7 run
      brew install python@2
    
    You can install Python packages with
      pip3 install <package>
    They will install into the site-package directory
      /usr/local/lib/python3.7/site-packages
    
    See: https://docs.brew.sh/Homebrew-and-Python
    ==> Summary
    🍺  /usr/local/Cellar/python/3.7.4: 3,865 files, 60MB
    ==> Installing sphinx-doc
    ==> Downloading https://homebrew.bintray.com/bottles/sphinx-doc-2.1.2.mojave.bot
    ==> Downloading from https://akamai.bintray.com/3b/3b8e5f0b6771f43869a6f30b24fe9
    ######################################################################## 100.0%
    ==> Pouring sphinx-doc-2.1.2.mojave.bottle.1.tar.gz
    ==> Caveats
    sphinx-doc is keg-only, which means it was not symlinked into /usr/local,
    because this formula is mainly used internally by other formulae.
    Users are advised to use `pip` to install sphinx-doc.
    
    If you need to have sphinx-doc first in your PATH run:
      echo 'export PATH="/usr/local/opt/sphinx-doc/bin:$PATH"' >> ~/.bash_profile
    
    ==> Summary
    🍺  /usr/local/Cellar/sphinx-doc/2.1.2: 3,722 files, 53.2MB
    Removing: /usr/local/Cellar/sphinx-doc/1.8.5... (3,121 files, 50.8MB)
    ==> Upgrading gettext
    ==> Downloading https://homebrew.bintray.com/bottles/gettext-0.20.1.mojave.bottl
    ==> Downloading from https://akamai.bintray.com/fa/fa2096f80238b8f4d9f3724d52662
    ######################################################################## 100.0%
    ==> Pouring gettext-0.20.1.mojave.bottle.tar.gz
    ==> Caveats
    gettext is keg-only, which means it was not symlinked into /usr/local,
    because macOS provides the BSD gettext library & some software gets confused if both are in the library path.
    
    If you need to have gettext first in your PATH run:
      echo 'export PATH="/usr/local/opt/gettext/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find gettext you may need to set:
      export LDFLAGS="-L/usr/local/opt/gettext/lib"
      export CPPFLAGS="-I/usr/local/opt/gettext/include"
    
    ==> Summary
    🍺  /usr/local/Cellar/gettext/0.20.1: 1,899 files, 18.5MB
    Removing: /usr/local/Cellar/gettext/0.19.8.1... (1,934 files, 16.9MB)
    ==> Upgrading webp
    ==> Installing dependencies for webp: libpng
    ==> Installing webp dependency: libpng
    ==> Downloading https://homebrew.bintray.com/bottles/libpng-1.6.37.mojave.bottle
    ==> Downloading from https://akamai.bintray.com/53/53bbd14cc27c86c16605e256e7646
    ######################################################################## 100.0%
    ==> Pouring libpng-1.6.37.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/libpng/1.6.37: 27 files, 1.2MB
    ==> Installing webp
    ==> Downloading https://homebrew.bintray.com/bottles/webp-1.0.3.mojave.bottle.ta
    ==> Downloading from https://akamai.bintray.com/34/347c02d4de7afe9e5e73391d293a1
    ######################################################################## 100.0%
    ==> Pouring webp-1.0.3.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/webp/1.0.3: 39 files, 2.1MB
    Removing: /usr/local/Cellar/webp/1.0.2... (39 files, 2.1MB)
    ==> Upgrading libssh2
    ==> Downloading https://homebrew.bintray.com/bottles/libssh2-1.9.0.mojave.bottle
    ==> Downloading from https://akamai.bintray.com/02/0226917e00c2f5c003c441c11d068
    ######################################################################## 100.0%
    ==> Pouring libssh2-1.9.0.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/libssh2/1.9.0: 184 files, 911.9KB
    Removing: /usr/local/Cellar/libssh2/1.8.0... (182 files, 792.8KB)
    ==> Upgrading haskell-stack
    ==> Downloading https://homebrew.bintray.com/bottles/haskell-stack-2.1.3.mojave.
    ==> Downloading from https://akamai.bintray.com/0a/0a1a1e67c0884e8c4d9fae16e006a
    ######################################################################## 100.0%
    ==> Pouring haskell-stack-2.1.3.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/haskell-stack/2.1.3: 7 files, 64.8MB
    Removing: /usr/local/Cellar/haskell-stack/1.9.3... (6 files, 38.5MB)
    ==> Upgrading qemu
    ==> Installing dependencies for qemu: glib, p11-kit, libevent, unbound, gnutls, lzo and pixman
    ==> Installing qemu dependency: glib
    ==> Downloading https://homebrew.bintray.com/bottles/glib-2.60.6.mojave.bottle.t
    ==> Downloading from https://akamai.bintray.com/cb/cb0b27f37cc011ba0e5ffcd044273
    ######################################################################## 100.0%
    ==> Pouring glib-2.60.6.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/glib/2.60.6: 429 files, 15.2MB
    ==> Installing qemu dependency: p11-kit
    ==> Downloading https://homebrew.bintray.com/bottles/p11-kit-0.23.16.1.mojave.bo
    ==> Downloading from https://akamai.bintray.com/49/49ffd7c971e56e2ef825e7af09106
    ######################################################################## 100.0%
    ==> Pouring p11-kit-0.23.16.1.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/p11-kit/0.23.16.1: 63 files, 2.9MB
    ==> Installing qemu dependency: libevent
    ==> Downloading https://homebrew.bintray.com/bottles/libevent-2.1.10.mojave.bott
    ==> Downloading from https://akamai.bintray.com/3f/3f43999f92de5174fa646e00cb099
    ######################################################################## 100.0%
    ==> Pouring libevent-2.1.10.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/libevent/2.1.10: 857 files, 2.2MB
    ==> Installing qemu dependency: unbound
    ==> Downloading https://homebrew.bintray.com/bottles/unbound-1.9.2.mojave.bottle
    ==> Downloading from https://akamai.bintray.com/3b/3bb8f456b33fe54242f9df225e6eb
    ######################################################################## 100.0%
    ==> Pouring unbound-1.9.2.mojave.bottle.tar.gz
    Error: The `brew link` step did not complete successfully
    The formula built, but is not symlinked into /usr/local
    Could not symlink sbin/unbound
    /usr/local/sbin is not writable.
    
    You can try again using:
      brew link unbound
    ==> Caveats
    To have launchd start unbound now and restart at startup:
      sudo brew services start unbound
    ==> Summary
    🍺  /usr/local/Cellar/unbound/1.9.2: 57 files, 4.8MB
    ==> Installing qemu dependency: gnutls
    ==> Downloading https://homebrew.bintray.com/bottles/gnutls-3.6.8.mojave.bottle.
    ==> Downloading from https://akamai.bintray.com/66/6679cf795332813d1e41778272f3e
    ######################################################################## 100.0%
    ==> Pouring gnutls-3.6.8.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/gnutls/3.6.8: 1,208 files, 9.3MB
    ==> Installing qemu dependency: lzo
    ==> Downloading https://homebrew.bintray.com/bottles/lzo-2.10.mojave.bottle.tar.
    ######################################################################## 100.0%
    ==> Pouring lzo-2.10.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/lzo/2.10: 31 files, 549.7KB
    ==> Installing qemu dependency: pixman
    ==> Downloading https://homebrew.bintray.com/bottles/pixman-0.38.4.mojave.bottle
    ==> Downloading from https://akamai.bintray.com/39/3990b771ee29451c8a9bcb6cb0772
    ######################################################################## 100.0%
    ==> Pouring pixman-0.38.4.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/pixman/0.38.4: 13 files, 1.3MB
    ==> Installing qemu
    ==> Downloading https://homebrew.bintray.com/bottles/qemu-4.0.0_2.mojave.bottle.
    ==> Downloading from https://akamai.bintray.com/ab/ab07349107ddd9527951a9b4c9967
    ######################################################################## 100.0%
    ==> Pouring qemu-4.0.0_2.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/qemu/4.0.0_2: 138 files, 263.0MB
    Removing: /usr/local/Cellar/qemu/3.1.0_1... (140 files, 257.8MB)
    ==> Upgrading mercurial
    ==> Downloading https://homebrew.bintray.com/bottles/mercurial-5.0.2.mojave.bott
    ==> Downloading from https://akamai.bintray.com/9e/9ecb83b783860c3e3cb985aea46fd
    ######################################################################## 100.0%
    ==> Pouring mercurial-5.0.2.mojave.bottle.tar.gz
    ==> Caveats
    Bash completion has been installed to:
      /usr/local/etc/bash_completion.d
    
    zsh completions have been installed to:
      /usr/local/share/zsh/site-functions
    ==> Summary
    🍺  /usr/local/Cellar/mercurial/5.0.2: 640 files, 10.4MB
    Removing: /usr/local/Cellar/mercurial/4.9... (637 files, 10.3MB)
    ==> Upgrading graphviz
    ==> Installing dependencies for graphviz: freetype, jasper, netpbm and gts
    ==> Installing graphviz dependency: freetype
    ==> Downloading https://homebrew.bintray.com/bottles/freetype-2.10.1.mojave.bott
    ==> Downloading from https://akamai.bintray.com/2f/2f5716f987df6f45a9d66e5f9af93
    ######################################################################## 100.0%
    ==> Pouring freetype-2.10.1.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/freetype/2.10.1: 61 files, 2.2MB
    ==> Installing graphviz dependency: jasper
    ==> Downloading https://homebrew.bintray.com/bottles/jasper-2.0.16_1.mojave.bott
    ==> Downloading from https://akamai.bintray.com/ed/ed0856ff9b2429852401e658f4045
    ######################################################################## 100.0%
    ==> Pouring jasper-2.0.16_1.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/jasper/2.0.16_1: 40 files, 1.4MB
    ==> Installing graphviz dependency: netpbm
    ==> Downloading https://homebrew.bintray.com/bottles/netpbm-10.73.27.mojave.bott
    ==> Downloading from https://akamai.bintray.com/46/469cb2a025a09badb8b1f8c8f591f
    ######################################################################## 100.0%
    ==> Pouring netpbm-10.73.27.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/netpbm/10.73.27: 741 files, 6.6MB
    ==> Installing graphviz dependency: gts
    ==> Downloading https://homebrew.bintray.com/bottles/gts-0.7.6_1.mojave.bottle.t
    ==> Downloading from https://akamai.bintray.com/1f/1f5d162ee2b4237538730e1eccbb1
    ######################################################################## 100.0%
    ==> Pouring gts-0.7.6_1.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/gts/0.7.6_1: 27 files, 1.1MB
    ==> Installing graphviz
    ==> Downloading https://homebrew.bintray.com/bottles/graphviz-2.40.1_1.mojave.bo
    ==> Downloading from https://akamai.bintray.com/c3/c3e2b2f06d1a2190405ccb16cde3c
    ######################################################################## 100.0%
    ==> Pouring graphviz-2.40.1_1.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/graphviz/2.40.1_1: 500 files, 11.2MB
    Removing: /usr/local/Cellar/graphviz/2.40.1... (536 files, 12.9MB)
    Removing: /usr/local/Cellar/libevent/2.1.8... (846 files, 2.2MB)
    Removing: /usr/local/Cellar/unbound/1.9.1... (55 files, 4.8MB)
    Removing: /usr/local/Cellar/p11-kit/0.23.15... (63 files, 2.9MB)
    ==> Upgrading ack
    ==> Downloading https://beyondgrep.com/ack-v3.0.2
    ######################################################################## 100.0%
    ==> pod2man /usr/local/Cellar/ack/3.0.2/bin/ack ack.1
    🍺  /usr/local/Cellar/ack/3.0.2: 4 files, 197KB, built in 4 seconds
    Removing: /usr/local/Cellar/ack/2.24... (4 files, 190.3KB)
    Removing: /usr/local/Cellar/libpng/1.6.36... (27 files, 1.2MB)
    Removing: /usr/local/Cellar/gnutls/3.6.6... (1,205 files, 9.2MB)
    Removing: /usr/local/Cellar/pixman/0.38.0... (13 files, 1.3MB)
    Removing: /usr/local/Cellar/freetype/2.9.1... (60 files, 2.6MB)
    Removing: /usr/local/Cellar/python/3.7.2_2... (3,966 files, 61.2MB)
    Removing: /usr/local/Cellar/glib/2.60.0_1... (432 files, 15.3MB)
    ==> Caveats
    ==> readline
    readline is keg-only, which means it was not symlinked into /usr/local,
    because macOS provides the BSD libedit library, which shadows libreadline.
    In order to prevent conflicts when programs look for libreadline we are
    defaulting this GNU Readline installation to keg-only.
    
    For compilers to find readline you may need to set:
      export LDFLAGS="-L/usr/local/opt/readline/lib"
      export CPPFLAGS="-I/usr/local/opt/readline/include"
    
    For pkg-config to find readline you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/readline/lib/pkgconfig"
    
    ==> openssl
    A CA file has been bootstrapped using certificates from the SystemRoots
    keychain. To add additional certificates (e.g. the certificates added in
    the System keychain), place .pem files in
      /usr/local/etc/openssl/certs
    
    and run
      /usr/local/opt/openssl/bin/c_rehash
    
    openssl is keg-only, which means it was not symlinked into /usr/local,
    because Apple has deprecated use of OpenSSL in favor of its own TLS and crypto libraries.
    
    If you need to have openssl first in your PATH run:
      echo 'export PATH="/usr/local/opt/openssl/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find openssl you may need to set:
      export LDFLAGS="-L/usr/local/opt/openssl/lib"
      export CPPFLAGS="-I/usr/local/opt/openssl/include"
    
    For pkg-config to find openssl you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/openssl/lib/pkgconfig"
    
    ==> sqlite
    sqlite is keg-only, which means it was not symlinked into /usr/local,
    because macOS provides an older sqlite3.
    
    If you need to have sqlite first in your PATH run:
      echo 'export PATH="/usr/local/opt/sqlite/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find sqlite you may need to set:
      export LDFLAGS="-L/usr/local/opt/sqlite/lib"
      export CPPFLAGS="-I/usr/local/opt/sqlite/include"
    
    For pkg-config to find sqlite you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/sqlite/lib/pkgconfig"
    
    ==> python
    Python has been installed as
      /usr/local/bin/python3
    
    Unversioned symlinks `python`, `python-config`, `pip` etc. pointing to
    `python3`, `python3-config`, `pip3` etc., respectively, have been installed into
      /usr/local/opt/python/libexec/bin
    
    If you need Homebrew's Python 2.7 run
      brew install python@2
    
    You can install Python packages with
      pip3 install <package>
    They will install into the site-package directory
      /usr/local/lib/python3.7/site-packages
    
    See: https://docs.brew.sh/Homebrew-and-Python
    ==> sphinx-doc
    sphinx-doc is keg-only, which means it was not symlinked into /usr/local,
    because this formula is mainly used internally by other formulae.
    Users are advised to use `pip` to install sphinx-doc.
    
    If you need to have sphinx-doc first in your PATH run:
      echo 'export PATH="/usr/local/opt/sphinx-doc/bin:$PATH"' >> ~/.bash_profile
    
    ==> gettext
    gettext is keg-only, which means it was not symlinked into /usr/local,
    because macOS provides the BSD gettext library & some software gets confused if both are in the library path.
    
    If you need to have gettext first in your PATH run:
      echo 'export PATH="/usr/local/opt/gettext/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find gettext you may need to set:
      export LDFLAGS="-L/usr/local/opt/gettext/lib"
      export CPPFLAGS="-I/usr/local/opt/gettext/include"
    
    ==> unbound
    To have launchd start unbound now and restart at startup:
      sudo brew services start unbound
    ==> mercurial
    Bash completion has been installed to:
      /usr/local/etc/bash_completion.d
    
    zsh completions have been installed to:
      /usr/local/share/zsh/site-functions
    ~> brew install autoconf pkg-config
    Warning: pkg-config 0.29.2 is already installed and up-to-date
    To reinstall 0.29.2, run `brew reinstall pkg-config`
    ==> Downloading https://homebrew.bintray.com/bottles/autoconf-2.69.mojave.bottle
    ==> Downloading from https://akamai.bintray.com/97/9724736d34773b6e41e2434ffa28f
    ######################################################################## 100.0%
    ==> Pouring autoconf-2.69.mojave.bottle.4.tar.gz
    ==> Caveats
    Emacs Lisp files have been installed to:
      /usr/local/share/emacs/site-lisp/autoconf
    ==> Summary
    🍺  /usr/local/Cellar/autoconf/2.69: 71 files, 3.0MB
    ~> brew install gmp gtk+ gtksourceview libgnomecanvas
    Warning: gmp 6.1.2_2 is already installed and up-to-date
    To reinstall 6.1.2_2, run `brew reinstall gmp`
    ==> Installing dependencies for gtk+: atk, gdk-pixbuf, hicolor-icon-theme, cairo, fribidi, graphite2, icu4c, harfbuzz and pango
    ==> Installing gtk+ dependency: atk
    ==> Downloading https://homebrew.bintray.com/bottles/atk-2.32.0_1.mojave.bottle.
    ==> Downloading from https://akamai.bintray.com/ac/ac54bad41a663388d7ce1063229d4
    ######################################################################## 100.0%
    ==> Pouring atk-2.32.0_1.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/atk/2.32.0_1: 144 files, 2.5MB
    ==> Installing gtk+ dependency: gdk-pixbuf
    ==> Downloading https://homebrew.bintray.com/bottles/gdk-pixbuf-2.38.1_1.mojave.
    ==> Downloading from https://akamai.bintray.com/18/183c810ede98f4732b2fcbe781670
    ######################################################################## 100.0%
    ==> Pouring gdk-pixbuf-2.38.1_1.mojave.bottle.tar.gz
    ==> /usr/local/Cellar/gdk-pixbuf/2.38.1_1/bin/gdk-pixbuf-query-loaders --update-
    🍺  /usr/local/Cellar/gdk-pixbuf/2.38.1_1: 149 files, 3.2MB
    ==> Installing gtk+ dependency: hicolor-icon-theme
    ==> Downloading https://homebrew.bintray.com/bottles/hicolor-icon-theme-0.17.moj
    ######################################################################## 100.0%
    ==> Pouring hicolor-icon-theme-0.17.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/hicolor-icon-theme/0.17: 7 files, 77.1KB
    ==> Installing gtk+ dependency: cairo
    ==> Downloading https://homebrew.bintray.com/bottles/cairo-1.16.0_2.mojave.bottl
    ==> Downloading from https://akamai.bintray.com/fc/fcda779381271541f623470a74b8b
    ######################################################################## 100.0%
    ==> Pouring cairo-1.16.0_2.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/cairo/1.16.0_2: 117 files, 5.5MB
    ==> Installing gtk+ dependency: fribidi
    ==> Downloading https://homebrew.bintray.com/bottles/fribidi-1.0.5.mojave.bottle
    ######################################################################## 100.0%
    ==> Pouring fribidi-1.0.5.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/fribidi/1.0.5: 66 files, 581.3KB
    ==> Installing gtk+ dependency: graphite2
    ==> Downloading https://homebrew.bintray.com/bottles/graphite2-1.3.13.mojave.bot
    ######################################################################## 100.0%
    ==> Pouring graphite2-1.3.13.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/graphite2/1.3.13: 18 files, 232KB
    ==> Installing gtk+ dependency: icu4c
    ==> Downloading https://homebrew.bintray.com/bottles/icu4c-64.2.mojave.bottle.ta
    ==> Downloading from https://akamai.bintray.com/e8/e858556120acc0c2d52b8fb572b67
    ######################################################################## 100.0%
    ==> Pouring icu4c-64.2.mojave.bottle.tar.gz
    ==> Caveats
    icu4c is keg-only, which means it was not symlinked into /usr/local,
    because macOS provides libicucore.dylib (but nothing else).
    
    If you need to have icu4c first in your PATH run:
      echo 'export PATH="/usr/local/opt/icu4c/bin:$PATH"' >> ~/.bash_profile
      echo 'export PATH="/usr/local/opt/icu4c/sbin:$PATH"' >> ~/.bash_profile
    
    For compilers to find icu4c you may need to set:
      export LDFLAGS="-L/usr/local/opt/icu4c/lib"
      export CPPFLAGS="-I/usr/local/opt/icu4c/include"
    
    For pkg-config to find icu4c you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/icu4c/lib/pkgconfig"
    
    ==> Summary
    🍺  /usr/local/Cellar/icu4c/64.2: 257 files, 69.2MB
    ==> Installing gtk+ dependency: harfbuzz
    ==> Downloading https://homebrew.bintray.com/bottles/harfbuzz-2.5.3.mojave.bottl
    ==> Downloading from https://akamai.bintray.com/d9/d9e876e0510be37dbf5de54a167f6
    ######################################################################## 100.0%
    ==> Pouring harfbuzz-2.5.3.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/harfbuzz/2.5.3: 151 files, 10MB
    ==> Installing gtk+ dependency: pango
    ==> Downloading https://homebrew.bintray.com/bottles/pango-1.42.4_2.mojave.bottl
    ==> Downloading from https://akamai.bintray.com/00/00b769ae7c76db06f9828398023c6
    ######################################################################## 100.0%
    ==> Pouring pango-1.42.4_2.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/pango/1.42.4_2: 106 files, 4.5MB
    ==> Installing gtk+
    ==> Downloading https://homebrew.bintray.com/bottles/gtk+-2.24.32_3.mojave.bottl
    ==> Downloading from https://akamai.bintray.com/c1/c1dfc21c162b50a0e798d9d78ff06
    ######################################################################## 100.0%
    ==> Pouring gtk+-2.24.32_3.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/gtk+/2.24.32_3: 1,194 files, 59.9MB
    ==> Installing dependencies for gtksourceview: gsettings-desktop-schemas, libepoxy, gtk+3, py2cairo, pygobject, pygtk and gtk-mac-integration
    ==> Installing gtksourceview dependency: gsettings-desktop-schemas
    ==> Downloading https://homebrew.bintray.com/bottles/gsettings-desktop-schemas-3
    ==> Downloading from https://akamai.bintray.com/b2/b2873d19eca42edb79cbf3055f081
    ######################################################################## 100.0%
    ==> Pouring gsettings-desktop-schemas-3.32.0.mojave.bottle.tar.gz
    ==> /usr/local/opt/glib/bin/glib-compile-schemas /usr/local/share/glib-2.0/schem
    🍺  /usr/local/Cellar/gsettings-desktop-schemas/3.32.0: 96 files, 4MB
    ==> Installing gtksourceview dependency: libepoxy
    ==> Downloading https://homebrew.bintray.com/bottles/libepoxy-1.5.3.mojave.bottl
    ==> Downloading from https://akamai.bintray.com/2e/2effda8b89a49b5dbd38600616667
    ######################################################################## 100.0%
    ==> Pouring libepoxy-1.5.3.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/libepoxy/1.5.3: 10 files, 3.1MB
    ==> Installing gtksourceview dependency: gtk+3
    ==> Downloading https://homebrew.bintray.com/bottles/gtk+3-3.24.10.mojave.bottle
    ==> Downloading from https://akamai.bintray.com/dc/dc8c9676ce9cd2402af362425dd03
    ######################################################################## 100.0%
    ==> Pouring gtk+3-3.24.10.mojave.bottle.tar.gz
    ==> /usr/local/opt/glib/bin/glib-compile-schemas /usr/local/share/glib-2.0/schem
    ==> /usr/local/Cellar/gtk+3/3.24.10/bin/gtk3-update-icon-cache -f -t /usr/local/
    🍺  /usr/local/Cellar/gtk+3/3.24.10: 709 files, 51.6MB
    ==> Installing gtksourceview dependency: py2cairo
    ==> Downloading https://homebrew.bintray.com/bottles/py2cairo-1.18.1.mojave.bott
    ######################################################################## 100.0%
    ==> Pouring py2cairo-1.18.1.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/py2cairo/1.18.1: 16 files, 268.5KB
    ==> Installing gtksourceview dependency: pygobject
    ==> Downloading https://homebrew.bintray.com/bottles/pygobject-2.28.7_2.mojave.b
    ==> Downloading from https://akamai.bintray.com/ca/caf4b79e8454b58bb67e73a6f0685
    ######################################################################## 100.0%
    ==> Pouring pygobject-2.28.7_2.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/pygobject/2.28.7_2: 140 files, 3.2MB
    ==> Installing gtksourceview dependency: pygtk
    ==> Downloading https://homebrew.bintray.com/bottles/pygtk-2.24.0_3.mojave.bottl
    ==> Downloading from https://akamai.bintray.com/4b/4b7adc63c58467d417789307672f8
    ######################################################################## 100.0%
    ==> Pouring pygtk-2.24.0_3.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/pygtk/2.24.0_3: 591 files, 15.4MB
    ==> Installing gtksourceview dependency: gtk-mac-integration
    ==> Downloading https://homebrew.bintray.com/bottles/gtk-mac-integration-2.1.3_1
    ######################################################################## 100.0%
    ==> Pouring gtk-mac-integration-2.1.3_1.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/gtk-mac-integration/2.1.3_1: 55 files, 345.9KB
    ==> Installing gtksourceview
    ==> Downloading https://homebrew.bintray.com/bottles/gtksourceview-2.10.5_4.moja
    ==> Downloading from https://akamai.bintray.com/93/9370eb21569cf53d43593c7a07ed9
    ######################################################################## 100.0%
    ==> Pouring gtksourceview-2.10.5_4.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/gtksourceview/2.10.5_4: 230 files, 4.6MB
    ==> Installing dependencies for libgnomecanvas: libart, libxml2 and libglade
    ==> Installing libgnomecanvas dependency: libart
    ==> Downloading https://homebrew.bintray.com/bottles/libart-2.3.21.mojave.bottle
    ######################################################################## 100.0%
    ==> Pouring libart-2.3.21.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/libart/2.3.21: 56 files, 349.8KB
    ==> Installing libgnomecanvas dependency: libxml2
    ==> Downloading https://homebrew.bintray.com/bottles/libxml2-2.9.9_2.mojave.bott
    ==> Downloading from https://akamai.bintray.com/1e/1e6143e9bfb756fe80e4a1db417b7
    ######################################################################## 100.0%
    ==> Pouring libxml2-2.9.9_2.mojave.bottle.tar.gz
    ==> Caveats
    libxml2 is keg-only, which means it was not symlinked into /usr/local,
    because macOS already provides this software and installing another version in
    parallel can cause all kinds of trouble.
    
    If you need to have libxml2 first in your PATH run:
      echo 'export PATH="/usr/local/opt/libxml2/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find libxml2 you may need to set:
      export LDFLAGS="-L/usr/local/opt/libxml2/lib"
      export CPPFLAGS="-I/usr/local/opt/libxml2/include"
    
    For pkg-config to find libxml2 you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/libxml2/lib/pkgconfig"
    
    ==> Summary
    🍺  /usr/local/Cellar/libxml2/2.9.9_2: 281 files, 10.5MB
    ==> Installing libgnomecanvas dependency: libglade
    ==> Downloading https://homebrew.bintray.com/bottles/libglade-2.6.4_4.mojave.bot
    ######################################################################## 100.0%
    ==> Pouring libglade-2.6.4_4.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/libglade/2.6.4_4: 40 files, 599.6KB
    ==> Installing libgnomecanvas
    ==> Downloading https://homebrew.bintray.com/bottles/libgnomecanvas-2.30.3_4.moj
    ==> Downloading from https://akamai.bintray.com/9c/9ccb81e0493aa409725fe76ae345d
    ######################################################################## 100.0%
    ==> Pouring libgnomecanvas-2.30.3_4.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/libgnomecanvas/2.30.3_4: 142 files, 1.6MB
    ==> Caveats
    ==> icu4c
    icu4c is keg-only, which means it was not symlinked into /usr/local,
    because macOS provides libicucore.dylib (but nothing else).
    
    If you need to have icu4c first in your PATH run:
      echo 'export PATH="/usr/local/opt/icu4c/bin:$PATH"' >> ~/.bash_profile
      echo 'export PATH="/usr/local/opt/icu4c/sbin:$PATH"' >> ~/.bash_profile
    
    For compilers to find icu4c you may need to set:
      export LDFLAGS="-L/usr/local/opt/icu4c/lib"
      export CPPFLAGS="-I/usr/local/opt/icu4c/include"
    
    For pkg-config to find icu4c you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/icu4c/lib/pkgconfig"
    
    ==> libxml2
    libxml2 is keg-only, which means it was not symlinked into /usr/local,
    because macOS already provides this software and installing another version in
    parallel can cause all kinds of trouble.
    
    If you need to have libxml2 first in your PATH run:
      echo 'export PATH="/usr/local/opt/libxml2/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find libxml2 you may need to set:
      export LDFLAGS="-L/usr/local/opt/libxml2/lib"
      export CPPFLAGS="-I/usr/local/opt/libxml2/include"
    
    For pkg-config to find libxml2 you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/libxml2/lib/pkgconfig"
    
    ~> brew install graphviz
    Warning: graphviz 2.40.1_1 is already installed and up-to-date
    To reinstall 2.40.1_1, run `brew reinstall graphviz`
    ~> opam install why3
    The following actions will be performed:
      βˆ— install why3 1.2.0
    
    <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    [why3.1.2.0] downloaded from cache at https://opam.ocaml.org/cache
    
    <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    βˆ— installed why3.1.2.0
    Done.
    ~> opam install coq coqide why3-coq
    The following dependencies couldn't be met:
      - coqide β†’ camlp5 β†’ ocaml < 4.08.0
          base of this switch (use `--unlock-base' to force)
      - coqide β†’ coq (>= 8.4pl2 & != 8.4.6~camlp4 & < 8.5.0~camlp4 | = 8.5.1 | >=
        8.5.2 & < 8.7.0) β†’ ocaml < 4.06.0
          base of this switch (use `--unlock-base' to force)
      - coqide β†’ ocaml < 4.05.0
          base of this switch (use `--unlock-base' to force)
    
    No solution found, exiting
    ~> opam install frama-c
    The following dependencies couldn't be met:
      - frama-c β†’ frama-c-base β†’ ocaml < 4.06
          base of this switch (use `--unlock-base' to force)
      - frama-c β†’ ocaml < 4.08.0
          base of this switch (use `--unlock-base' to force)
    
    No solution found, exiting
    ~>
    
    txt file icon 2019-07-26-frama-c-install-fail.txt (90,442 bytes) 2019-07-26 16:16 +
  • txt file icon 2019-07-26-retry-after-switch-4-06-1.txt (13,056 bytes) 2019-07-26 17:47 -
    ~> opam switch create 4.06.1
    
    <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    [ocaml-base-compiler.4.06.1] downloaded from cache at https://opam.ocaml.org/cache
    
    <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    βˆ— installed base-bigarray.base
    βˆ— installed base-threads.base
    βˆ— installed base-unix.base
    βˆ— installed ocaml-base-compiler.4.06.1
    βˆ— installed ocaml-config.1
    βˆ— installed ocaml.4.06.1
    Done.
    # Run eval $(opam env) to update the current shell environment
    ~> eval $(opam env)
    ~> ocaml --version
    The OCaml toplevel, version 4.06.1
    ~> opam install frama-c
    The following actions will be performed:
      βˆ— install conf-gmp           1          [required by zarith]
      βˆ— install conf-m4            1          [required by ocamlfind]
      βˆ— install conf-which         1          [required by conf-autoconf, biniou]
      βˆ— install conf-perl          1          [required by zarith]
      βˆ— install conf-pkg-config    1.1        [required by conf-gtksourceview]
      βˆ— install dune               1.11.0     [required by yojson]
      βˆ— install ocamlbuild         0.14.0     [required by menhir]
      βˆ— install ocamlfind          1.8.0      [required by frama-c]
      βˆ— install conf-graphviz      0.1
      βˆ— install conf-autoconf      0.1        [required by frama-c]
      βˆ— install conf-gtksourceview 2          [required by frama-c]
      βˆ— install conf-gnomecanvas   2          [required by frama-c]
      βˆ— install jbuilder           transition [required by biniou]
      βˆ— install cppo               1.6.6      [required by yojson]
      βˆ— install zarith             1.7        [required by frama-c]
      βˆ— install num                1.2        [required by alt-ergo-free]
      βˆ— install menhir             20190626   [required by alt-ergo-free]
      βˆ— install camlzip            1.07       [required by alt-ergo-free]
      βˆ— install lablgtk            2.18.8     [required by frama-c]
      βˆ— install easy-format        1.3.1      [required by yojson]
      βˆ— install ocplib-simplex     0.4        [required by alt-ergo-free]
      βˆ— install ocamlgraph         1.8.8      [required by frama-c]
      βˆ— install biniou             1.2.0      [required by yojson]
      βˆ— install alt-ergo-free      2.0.0      [required by frama-c]
      βˆ— install yojson             1.7.0      [required by frama-c]
      βˆ— install frama-c            19.0
              Why3 can be used by the WP plug-in for running additional automatic
              solvers
              Coq can be used with the WP plug-in for proving interactively proof
              obligations
    ===== βˆ— 26 =====
    Do you want to continue? [Y/n] Y
    
    <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    [biniou.1.2.0] downloaded from cache at https://opam.ocaml.org/cache
    [cppo.1.6.6] found in cache
    [camlzip.1.07] downloaded from cache at https://opam.ocaml.org/cache
    [dune.1.11.0] found in cache
    [easy-format.1.3.1] downloaded from cache at https://opam.ocaml.org/cache
    [alt-ergo-free.2.0.0] downloaded from cache at https://opam.ocaml.org/cache
    [menhir.20190626] found in cache
    [num.1.2] found in cache
    [ocamlbuild.0.14.0] found in cache
    [ocamlfind.1.8.0] found in cache
    [lablgtk.2.18.8] downloaded from cache at https://opam.ocaml.org/cache
    [ocamlgraph.1.8.8] downloaded from cache at https://opam.ocaml.org/cache
    [ocplib-simplex.0.4] downloaded from cache at https://opam.ocaml.org/cache
    [yojson.1.7.0] downloaded from cache at https://opam.ocaml.org/cache
    [zarith.1.7] downloaded from cache at https://opam.ocaml.org/cache
    [frama-c.19.0] downloaded from cache at https://opam.ocaml.org/cache
    
    <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    βˆ— installed conf-which.1
    βˆ— installed conf-perl.1
    βˆ— installed conf-pkg-config.1.1
    βˆ— installed conf-autoconf.0.1
    βˆ— installed conf-graphviz.0.1
    [ERROR] The compilation of conf-gtksourceview failed at
            "/Users/butrfeld/.opam/opam-init/hooks/sandbox.sh build pkg-config
            --short-errors --print-errors gtksourceview-2.0".
    [ERROR] The compilation of conf-gnomecanvas failed at
            "/Users/butrfeld/.opam/opam-init/hooks/sandbox.sh build pkg-config
            libgnomecanvas-2.0".
    βˆ— installed conf-m4.1
    βˆ— installed conf-gmp.1
    βˆ— installed ocamlfind.1.8.0
    βˆ— installed camlzip.1.07
    βˆ— installed num.1.2
    βˆ— installed ocamlbuild.0.14.0
    βˆ— installed zarith.1.7
    βˆ— installed ocplib-simplex.0.4
    βˆ— installed dune.1.11.0
    βˆ— installed jbuilder.transition
    βˆ— installed easy-format.1.3.1
    βˆ— installed cppo.1.6.6
    βˆ— installed biniou.1.2.0
    βˆ— installed yojson.1.7.0
    βˆ— installed menhir.20190626
    
    #=== ERROR while compiling conf-gtksourceview.2 ===============================#
    # context     2.0.4 | macos/x86_64 | ocaml-base-compiler.4.06.1 | https://opam.ocaml.org#1dfa269f
    # path        ~/.opam/4.06.1/.opam-switch/build/conf-gtksourceview.2
    # command     ~/.opam/opam-init/hooks/sandbox.sh build pkg-config --short-errors --print-errors gtksourceview-2.0
    # exit-code   1
    # env-file    ~/.opam/log/conf-gtksourceview-89005-87914c.env
    # output-file ~/.opam/log/conf-gtksourceview-89005-87914c.out
    ### output ###
    # Package 'libffi', required by 'gobject-2.0', not found
    
    
    #=== ERROR while compiling conf-gnomecanvas.2 =================================#
    # context     2.0.4 | macos/x86_64 | ocaml-base-compiler.4.06.1 | https://opam.ocaml.org#1dfa269f
    # path        ~/.opam/4.06.1/.opam-switch/build/conf-gnomecanvas.2
    # command     ~/.opam/opam-init/hooks/sandbox.sh build pkg-config libgnomecanvas-2.0
    # exit-code   1
    # env-file    ~/.opam/log/conf-gnomecanvas-89005-9ab3aa.env
    # output-file ~/.opam/log/conf-gnomecanvas-89005-9ab3aa.out
    
    
    
    <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    β”Œβ”€ The following actions failed
    β”‚ Ξ» build conf-gnomecanvas   2
    β”‚ Ξ» build conf-gtksourceview 2
    └─
    β”Œβ”€ The following changes have been performed (the rest was aborted)
    β”‚ βˆ— install biniou          1.2.0
    β”‚ βˆ— install camlzip         1.07
    β”‚ βˆ— install conf-autoconf   0.1
    β”‚ βˆ— install conf-gmp        1
    β”‚ βˆ— install conf-graphviz   0.1
    β”‚ βˆ— install conf-m4         1
    β”‚ βˆ— install conf-perl       1
    β”‚ βˆ— install conf-pkg-config 1.1
    β”‚ βˆ— install conf-which      1
    β”‚ βˆ— install cppo            1.6.6
    β”‚ βˆ— install dune            1.11.0
    β”‚ βˆ— install easy-format     1.3.1
    β”‚ βˆ— install jbuilder        transition
    β”‚ βˆ— install menhir          20190626
    β”‚ βˆ— install num             1.2
    β”‚ βˆ— install ocamlbuild      0.14.0
    β”‚ βˆ— install ocamlfind       1.8.0
    β”‚ βˆ— install ocplib-simplex  0.4
    β”‚ βˆ— install yojson          1.7.0
    β”‚ βˆ— install zarith          1.7
    └─
    
    <><> jbuilder.transition installed successfully <><><><><><><><><><><><><><>  🐫
    => Jbuilder has been renamed and the jbuilder package is now a transition
       package. Use the dune package instead.
    
    The packages you requested declare the following system dependencies. Please
    make sure they are installed before retrying:
        gtksourceview libgnomecanvas libxml2
    
    
    The former state can be restored with:
        opam switch import
    "/Users/butrfeld/.opam/4.06.1/.opam-switch/backup/state-20190726143239.export"
    ~> brew install gtksourceview libgnomecanvas libxml2
    Warning: gtksourceview 2.10.5_4 is already installed and up-to-date
    To reinstall 2.10.5_4, run `brew reinstall gtksourceview`
    Warning: libgnomecanvas 2.30.3_4 is already installed and up-to-date
    To reinstall 2.30.3_4, run `brew reinstall libgnomecanvas`
    Warning: libxml2 2.9.9_2 is already installed and up-to-date
    To reinstall 2.9.9_2, run `brew reinstall libxml2`
    ~> opam install gtksourceview libgnomecanvas libxml2
    [ERROR] No package named gtksourceview found.
    [ERROR] No package named libgnomecanvas found.
    [ERROR] No package named libxml2 found.
    ~> brew reinstall gtksourceview libgnomecanvas libxml2
    ==> Reinstalling gtksourceview
    ==> Downloading https://homebrew.bintray.com/bottles/gtksourceview-2.10.5_4.moja
    Already downloaded: /Users/butrfeld/Library/Caches/Homebrew/downloads/c0e153df92841c609f31a0fe5c6224c8e393af752e42a27341943d8bbd106e4e--gtksourceview-2.10.5_4.mojave.bottle.tar.gz
    ==> Pouring gtksourceview-2.10.5_4.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/gtksourceview/2.10.5_4: 230 files, 4.6MB
    ==> Reinstalling libgnomecanvas
    ==> Downloading https://homebrew.bintray.com/bottles/libgnomecanvas-2.30.3_4.moj
    Already downloaded: /Users/butrfeld/Library/Caches/Homebrew/downloads/9a540300337a979c9039bb4212d06900a9a3a20cc3a39dac23c279c043227740--libgnomecanvas-2.30.3_4.mojave.bottle.tar.gz
    ==> Pouring libgnomecanvas-2.30.3_4.mojave.bottle.tar.gz
    🍺  /usr/local/Cellar/libgnomecanvas/2.30.3_4: 142 files, 1.6MB
    ==> Reinstalling libxml2
    ==> Downloading https://homebrew.bintray.com/bottles/libxml2-2.9.9_2.mojave.bott
    Already downloaded: /Users/butrfeld/Library/Caches/Homebrew/downloads/3c92c502045dd8bc2a1b85d45a680f6cbcbdbccd86b910453e0ea532059e6f2b--libxml2-2.9.9_2.mojave.bottle.tar.gz
    ==> Pouring libxml2-2.9.9_2.mojave.bottle.tar.gz
    ==> Caveats
    libxml2 is keg-only, which means it was not symlinked into /usr/local,
    because macOS already provides this software and installing another version in
    parallel can cause all kinds of trouble.
    
    If you need to have libxml2 first in your PATH run:
      echo 'export PATH="/usr/local/opt/libxml2/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find libxml2 you may need to set:
      export LDFLAGS="-L/usr/local/opt/libxml2/lib"
      export CPPFLAGS="-I/usr/local/opt/libxml2/include"
    
    For pkg-config to find libxml2 you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/libxml2/lib/pkgconfig"
    
    ==> Summary
    🍺  /usr/local/Cellar/libxml2/2.9.9_2: 281 files, 10.5MB
    ==> Caveats
    ==> libxml2
    libxml2 is keg-only, which means it was not symlinked into /usr/local,
    because macOS already provides this software and installing another version in
    parallel can cause all kinds of trouble.
    
    If you need to have libxml2 first in your PATH run:
      echo 'export PATH="/usr/local/opt/libxml2/bin:$PATH"' >> ~/.bash_profile
    
    For compilers to find libxml2 you may need to set:
      export LDFLAGS="-L/usr/local/opt/libxml2/lib"
      export CPPFLAGS="-I/usr/local/opt/libxml2/include"
    
    For pkg-config to find libxml2 you may need to set:
      export PKG_CONFIG_PATH="/usr/local/opt/libxml2/lib/pkgconfig"
    
    ~> opam install frama-c
    The following actions will be performed:
      βˆ— install conf-gtksourceview 2      [required by frama-c]
      βˆ— install conf-gnomecanvas   2      [required by frama-c]
      βˆ— install lablgtk            2.18.8 [required by frama-c]
      βˆ— install ocamlgraph         1.8.8  [required by frama-c]
      βˆ— install alt-ergo-free      2.0.0  [required by frama-c]
      βˆ— install frama-c            19.0
              Why3 can be used by the WP plug-in for running additional automatic
              solvers
              Coq can be used with the WP plug-in for proving interactively proof
              obligations
    ===== βˆ— 6 =====
    Do you want to continue? [Y/n] Y
    
    <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    [alt-ergo-free.2.0.0] found in cache
    [frama-c.19.0] found in cache
    [lablgtk.2.18.8] found in cache
    [ocamlgraph.1.8.8] found in cache
    
    <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    [ERROR] The compilation of conf-gnomecanvas failed at
            "/Users/butrfeld/.opam/opam-init/hooks/sandbox.sh build pkg-config
            libgnomecanvas-2.0".
    [ERROR] The compilation of conf-gtksourceview failed at
            "/Users/butrfeld/.opam/opam-init/hooks/sandbox.sh build pkg-config
            --short-errors --print-errors gtksourceview-2.0".
    
    #=== ERROR while compiling conf-gtksourceview.2 ===============================#
    # context     2.0.4 | macos/x86_64 | ocaml-base-compiler.4.06.1 | https://opam.ocaml.org#1dfa269f
    # path        ~/.opam/4.06.1/.opam-switch/build/conf-gtksourceview.2
    # command     ~/.opam/opam-init/hooks/sandbox.sh build pkg-config --short-errors --print-errors gtksourceview-2.0
    # exit-code   1
    # env-file    ~/.opam/log/conf-gtksourceview-99889-865888.env
    # output-file ~/.opam/log/conf-gtksourceview-99889-865888.out
    ### output ###
    # Package 'libffi', required by 'gobject-2.0', not found
    
    
    #=== ERROR while compiling conf-gnomecanvas.2 =================================#
    # context     2.0.4 | macos/x86_64 | ocaml-base-compiler.4.06.1 | https://opam.ocaml.org#1dfa269f
    # path        ~/.opam/4.06.1/.opam-switch/build/conf-gnomecanvas.2
    # command     ~/.opam/opam-init/hooks/sandbox.sh build pkg-config libgnomecanvas-2.0
    # exit-code   1
    # env-file    ~/.opam/log/conf-gnomecanvas-99889-6cc03f.env
    # output-file ~/.opam/log/conf-gnomecanvas-99889-6cc03f.out
    
    
    
    <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    β”Œβ”€ The following actions failed
    β”‚ Ξ» build conf-gnomecanvas   2
    β”‚ Ξ» build conf-gtksourceview 2
    └─
    ╢─ No changes have been performed
    
    The packages you requested declare the following system dependencies. Please
    make sure they are installed before retrying:
        gtksourceview libgnomecanvas libxml2
    
    ~> which frama-c
    ~>
    
    txt file icon 2019-07-26-retry-after-switch-4-06-1.txt (13,056 bytes) 2019-07-26 17:47 +
  • txt file icon 2019-07-26-retry-after-caveats.txt (2,538 bytes) 2019-07-26 17:52 -
    Last login: Fri Jul 26 16:13:57 on ttys000
    ~>  export LDFLAGS="-L/usr/local/opt/libffi/lib"
    ~> export PKG_CONFIG_PATH="/usr/local/opt/libffi/lib/pkgconfig"
    ~> opam install conf-gtksourceview
    The following actions will be performed:
      βˆ— install conf-gtksourceview 2
    
    <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    
    <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    βˆ— installed conf-gtksourceview.2
    Done.
    # Run eval $(opam env) to update the current shell environment
    ~> eval $(opam env)
    ~> opam install frama-c
    The following actions will be performed:
      βˆ— install conf-gnomecanvas 2      [required by frama-c]
      βˆ— install lablgtk          2.18.8 [required by frama-c]
      βˆ— install ocamlgraph       1.8.8  [required by frama-c]
      βˆ— install alt-ergo-free    2.0.0  [required by frama-c]
      βˆ— install frama-c          19.0
              Why3 can be used by the WP plug-in for running additional automatic
              solvers
              Coq can be used with the WP plug-in for proving interactively proof
              obligations
    ===== βˆ— 5 =====
    Do you want to continue? [Y/n] Y
    
    <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    [alt-ergo-free.2.0.0] found in cache
    [frama-c.19.0] found in cache
    [lablgtk.2.18.8] found in cache
    [ocamlgraph.1.8.8] found in cache
    
    <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
    βˆ— installed conf-gnomecanvas.2
    βˆ— installed lablgtk.2.18.8
    βˆ— installed ocamlgraph.1.8.8
    βˆ— installed alt-ergo-free.2.0.0
    βˆ— installed frama-c.19.0
    Done.
    ~> which frama-c
    /Users/butrfeld/.opam/4.06.1/bin/frama-c
    ~> frama-c --version
    19.0 (Potassium)~> frama-c
    ~>
    ~> frama-c --help
    
    This is Frama-C 19.0 (Potassium)
    
    Usage:
        frama-c [options files ...]
    
    Main Options:
        -help        This message.
        -version     Version number only.
        -plugins     List of installed plugins.
        -kernel-h    Additional help and options.
    
    Plug-in Options:
        -<plugin>    Plug-in activation.
        -<plugin>-h  Additional help and options.
    
    ~> which frama-c-gui
    /Users/butrfeld/.opam/4.06.1/bin/frama-c-gui
    ~> frama-c-gui
    [gui] Warning: creating config directory `/Users/butrfeld/.config/frama-c'
    [gui] Warning: creating config directory `/Users/butrfeld/.config/frama-c/gui'
    2019-07-26 16:49:52.018 frama-c-gui[51381:603314] *** WARNING: Method userSpaceScaleFactor in class NSView is deprecated on 10.7 and later. It should not be used in new applications. Use convertRectToBacking: instead.
    
    txt file icon 2019-07-26-retry-after-caveats.txt (2,538 bytes) 2019-07-26 17:52 +

-Relationships
+Relationships

-Notes

~0006828

Victor Sverdlin (reporter)

Try:
opam switch create 4.06.1
then
opam install farma-c

~0006829

maroneze (administrator)

I'll try reproducing the issue on my Macbook, but opam constraints are sometimes fiddly. Could you please provide the versions of opam and ocaml that you have (`opam --version` and `ocaml --version`)? Either they do not appear in your log, or I missed them.

~0006830

abutterfield (reporter)

I am trying the switch suggestion to 4.06.1 at present,
so ocaml is currently not available.

opam is version 2.0.4

~0006831

abutterfield (reporter)

I ran 'opam install frame-c' after the switch, and 'eval $(whatever)' with OCaml 4.06.1
Things are better, but its seems I need to install gtksourceview, libgnomecanvas, and libxml2

I tried this with brew, but it says they are already installed!

So I did brew reinstall - I get warnings about libxml2 being "keg only" because it interacts badly with the OS X version.

I then tried to re-install frama-c - it fails

~0006832

maroneze (administrator)

The keg-only issue with libxml2 should not be an issue, I also have this warning and it works for me.

gtksourceview and libgnomecanvas are necessary for the graphical interface, but indeed, once installed with brew, after switching the OCaml version, opam only needs to install `conf-*` packages, which check that the underlying C packages are installed. These are automatically installed as dependencies when running `opam install frama-c`, so that shouldn't be a problem.

Do you know which Frama-C plug-ins you intend to use? For instance, Coq is used by WP but not Eva, so depending on your interests, you could try skipping the installation of coq (if it is causing issues) and doing `opam install frama-c` directly.

Now, I just tried installing 4.06.1 and then frama-c, and I got this error:

# Package 'libffi', required by 'gobject-2.0', not found

Is it the same one that you are having? This prevents conf-gtksourceview from being installed.

Apparently the libffi issue is somewhat recurrent on macOS (I found several github mentions), I will see if I can find a solution. In any case, if you have a different error message, please post it so we can further investigate it.

~0006833

maroneze (administrator)

Last edited: 2019-07-26 17:39

View 3 revisions

Ok, so I had actually missed the message about libffi, which is necessary for conf-gtksourceview:

==> Caveats
libffi is keg-only, which means it was not symlinked into /usr/local,
because some formulae require a newer version of libffi.

For compilers to find libffi you may need to set:
  export LDFLAGS="-L/usr/local/opt/libffi/lib"

For pkg-config to find libffi you may need to set:
  export PKG_CONFIG_PATH="/usr/local/opt/libffi/lib/pkgconfig"

After adding these lines, running `opam install conf-gtksourceview` (or `opam install frama-c` directly) works.

The way I found out was by looking at the error message of opam, as mentioned before, then reinstalling libffi (`brew reinstall libffi`). It was already installed, but the reinstallation displayed the caveat, so I did as indicated and it worked.

If this was your error, please try it and report back, or post the error message you are having.

We will consider updating the installation instructions, however these dependent package issues change often and it's hard to keep track of them all.

~0006834

abutterfield (reporter)

just loaded the log of the failure after the switch to 4.06.1
Currently trying your most recent suggestion

~0006835

abutterfield (reporter)

That worked - both frama-c and frama-c-gui are running - I'll upload the log of this build in case it is helpful to you

~0006836

maroneze (administrator)

Last edited: 2019-07-26 18:15

View 2 revisions

Good to know!

I don't think the log will be necessary, it seems to be very similar to what I got in my machine.

The first issue you had was due to the OCaml version, either you had a too recent OCaml (4.08), or a too old one (< 4.05), and in both cases opam does not report a very intuitive error message.

The second issue was due to libffi, which did not happen at the time the instructions were written, at least with OCaml 4.05.0.

In both cases, I hope Google will index this issue so other people will find it if they have the same problem. We'll update the installation instructions to provide more details about it.

~0006837

abutterfield (reporter)

Thanks very much for your prompt help - much appreciated!

~0006844

maroneze (administrator)

Updated to-be-released INSTALL.md to include a few more details about Homebrew installation.

~0006954

signoles (manager)

Fixed in Frama-C 20.0 (Calcium).
+Notes

-Issue History
Date Modified Username Field Change
2019-07-26 16:16 abutterfield New Issue
2019-07-26 16:16 abutterfield Status new => assigned
2019-07-26 16:16 abutterfield Assigned To => maroneze
2019-07-26 16:16 abutterfield File Added: 2019-07-26-frama-c-install-fail.txt
2019-07-26 16:19 Victor Sverdlin Note Added: 0006828
2019-07-26 16:25 maroneze Assigned To maroneze =>
2019-07-26 16:26 maroneze Assigned To => maroneze
2019-07-26 16:28 maroneze Note Added: 0006829
2019-07-26 16:31 abutterfield Note Added: 0006830
2019-07-26 16:39 abutterfield Note Added: 0006831
2019-07-26 17:31 maroneze Note Added: 0006832
2019-07-26 17:38 maroneze Note Added: 0006833
2019-07-26 17:39 maroneze Note Edited: 0006833 View Revisions
2019-07-26 17:39 maroneze Note Edited: 0006833 View Revisions
2019-07-26 17:47 abutterfield File Added: 2019-07-26-retry-after-switch-4-06-1.txt
2019-07-26 17:48 abutterfield Note Added: 0006834
2019-07-26 17:52 abutterfield Note Added: 0006835
2019-07-26 17:52 abutterfield File Added: 2019-07-26-retry-after-caveats.txt
2019-07-26 18:05 maroneze Note Added: 0006836
2019-07-26 18:15 maroneze Note Edited: 0006836 View Revisions
2019-07-26 19:13 abutterfield Note Added: 0006837
2019-08-21 16:14 maroneze Note Added: 0006844
2019-08-21 16:14 maroneze Status assigned => resolved
2019-08-21 16:14 maroneze Fixed in Version => Frama-C 20-Calcium
2019-08-21 16:14 maroneze Resolution open => fixed
2020-02-17 18:08 signoles Status resolved => closed
2020-02-17 18:08 signoles Note Added: 0006954
+Issue History