| Attached Files |
-
 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
~>
-
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
~>
-
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.
|
|---|
Relationships