sci-mathematics:alt-ergo-2.3.0:20191026-012450.log

sci-mathematics:alt-ergo-2.3.0:20191026-012450.log (text/plain), 9.30 KB, created by Toralf Förster on 2019-10-26 08:03:49 UTC

 * Package:    sci-mathematics/alt-ergo-2.3.0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
>>> Unpacking source...
>>> Unpacking alt-ergo-2.3.0.tar.gz to /var/tmp/portage/sci-mathematics/alt-ergo-2.3.0/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/alt-ergo-2.3.0/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/alt-ergo-2.3.0/work/alt-ergo-2.3.0 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/alt-ergo-2.3.0/work/alt-ergo-2.3.0 ...
Using provided value for 'prefix' : /usr
Using provided value for 'libdir' : /usr/lib64
Using default value for 'sharedir' : /usr/share
Using default value for 'mandir' : /usr/man
Using default value for 'pluginsdir' : /usr/lib64/alt-ergo/plugins
Using default value for 'preludesdir' : /usr/share/alt-ergo/preludes
Generating file lib/util/config.ml...done.
Generating file Makefile.config...done.
Found dune in path.
Error: The following libraries are missing in the default context:
- lablgtk2
- lablgtk2.sourceview2
- seq
Hint: try: opam install lablgtk2 seq
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/alt-ergo-2.3.0/work/alt-ergo-2.3.0 ...
make -j1 lib 
dune build  \
	lib/AltErgoLib.cma \
	lib/AltErgoLib.cmxa \
	lib/AltErgoLib.cmxs
Done: 0/0 (jobs: 0)
                   
Done: 140/625 (jobs: 1)
                       
Done: 141/625 (jobs: 1)
                       
Done: 142/625 (jobs: 1)
                       
Done: 144/628 (jobs: 1)
                       
Done: 145/628 (jobs: 1)
                       
Done: 146/628 (jobs: 1)
                       
Done: 147/628 (jobs: 1)
                       
Done: 148/628 (jobs: 1)
                       
Done: 150/631 (jobs: 1)
                       
Done: 152/634 (jobs: 1)
                       
Done: 153/634 (jobs: 1)
                       
Done: 154/634 (jobs: 1)
                       
Done: 155/634 (jobs: 1)
                       
Done: 156/634 (jobs: 1)
                       
Done: 157/634 (jobs: 1)
                       
Done: 158/634 (jobs: 1)
                       
Done: 159/634 (jobs: 1)
                       
Done: 160/634 (jobs: 1)
                       
Done: 161/634 (jobs: 1)
                       
Done: 162/634 (jobs: 1)
                       
Done: 163/634 (jobs: 1)
                       
Done: 164/634 (jobs: 1)
                       
Done: 165/634 (jobs: 1)
                       
Done: 166/634 (jobs: 1)
                       
Done: 167/634 (jobs: 1)
                       
Done: 168/634 (jobs: 1)
                       
Done: 169/634 (jobs: 1)
                       
Done: 170/634 (jobs: 1)
                       
File "lib/dune", line 12, characters 20-23:
12 |   (libraries        seq unix num str zarith dynlink ocplib-simplex)
                         ^^^
Error: Library "seq" not found.
Hint: try: dune external-lib-deps --missing lib/AltErgoLib.cma lib/AltErgoLib.cmxa lib/AltErgoLib.cmxs
Done: 170/634 (jobs: 1)
                       
Done: 172/634 (jobs: 1)
                       
Done: 174/634 (jobs: 1)
                       
Done: 176/634 (jobs: 1)
                       
Done: 177/634 (jobs: 1)
                       
Done: 178/634 (jobs: 1)
                       
Done: 179/634 (jobs: 1)
                       
Done: 180/634 (jobs: 1)
                       
Done: 181/634 (jobs: 1)
                       
Done: 182/634 (jobs: 1)
                       
Done: 183/634 (jobs: 1)
                       
Done: 184/634 (jobs: 1)
                       
Done: 185/634 (jobs: 1)
                       
Done: 186/634 (jobs: 1)
                       
Done: 187/634 (jobs: 1)
                       
Done: 188/634 (jobs: 1)
                       
Done: 189/634 (jobs: 1)
                       
Done: 190/634 (jobs: 1)
                       
Done: 191/634 (jobs: 1)
                       
Done: 192/634 (jobs: 1)
                       
Done: 194/634 (jobs: 1)
                       
Done: 195/634 (jobs: 1)
                       
Done: 197/634 (jobs: 1)
                       
Done: 198/634 (jobs: 1)
                       
Done: 200/634 (jobs: 1)
                       
Done: 201/634 (jobs: 1)
                       
Done: 203/634 (jobs: 1)
                       
Done: 204/634 (jobs: 1)
                       
Done: 205/634 (jobs: 1)
                       
Done: 206/634 (jobs: 1)
                       
Done: 207/634 (jobs: 1)
                       
Done: 208/634 (jobs: 1)
                       
Done: 209/634 (jobs: 1)
                       
Done: 210/634 (jobs: 1)
                       
Done: 211/634 (jobs: 1)
                       
Done: 212/634 (jobs: 1)
                       
Done: 213/634 (jobs: 1)
                       
Done: 214/634 (jobs: 1)
                       
Done: 215/634 (jobs: 1)
                       
Done: 216/634 (jobs: 1)
                       
Done: 217/634 (jobs: 1)
                       
Done: 218/634 (jobs: 1)
                       
Done: 220/634 (jobs: 1)
                       
Done: 222/634 (jobs: 1)
                       
Done: 224/634 (jobs: 1)
                       
Done: 225/634 (jobs: 1)
                       
Done: 226/634 (jobs: 1)
                       
Done: 227/634 (jobs: 1)
                       
Done: 229/634 (jobs: 1)
                       
Done: 231/634 (jobs: 1)
                       
Done: 233/634 (jobs: 1)
                       
Done: 235/634 (jobs: 1)
                       
Done: 237/637 (jobs: 1)
                       
Done: 240/637 (jobs: 1)
                       
Done: 241/637 (jobs: 1)
                       
Done: 243/637 (jobs: 1)
                       
Done: 245/637 (jobs: 1)
                       
Done: 246/637 (jobs: 1)
                       
Done: 247/637 (jobs: 1)
                       
Done: 248/637 (jobs: 1)
                       
Done: 249/637 (jobs: 1)
                       
Done: 250/637 (jobs: 1)
                       
Done: 251/637 (jobs: 1)
                       
Done: 252/637 (jobs: 1)
                       
Done: 253/637 (jobs: 1)
                       
Done: 254/637 (jobs: 1)
                       
Done: 255/637 (jobs: 1)
                       
Done: 256/637 (jobs: 1)
                       
Done: 257/637 (jobs: 1)
                       
Done: 258/637 (jobs: 1)
                       
Done: 259/637 (jobs: 1)
                       
Done: 260/637 (jobs: 1)
                       
Done: 261/637 (jobs: 1)
                       
Done: 262/637 (jobs: 1)
                       
Done: 263/637 (jobs: 1)
                       
Done: 264/637 (jobs: 1)
                       
Done: 265/637 (jobs: 1)
                       
Done: 266/637 (jobs: 1)
                       
Done: 267/637 (jobs: 1)
                       
Done: 268/637 (jobs: 1)
                       
Done: 269/637 (jobs: 1)
                       
Done: 270/637 (jobs: 1)
                       
Done: 271/637 (jobs: 1)
                       
Done: 272/637 (jobs: 1)
                       
Done: 273/637 (jobs: 1)
                       
Done: 274/637 (jobs: 1)
                       
Done: 275/637 (jobs: 1)
                       
Done: 276/637 (jobs: 1)
                       
Done: 277/637 (jobs: 1)
                       
Done: 278/637 (jobs: 1)
                       
Done: 279/637 (jobs: 1)
                       
Done: 280/637 (jobs: 1)
                       
Done: 281/637 (jobs: 1)
                       
Done: 283/637 (jobs: 1)
                       
Done: 284/637 (jobs: 1)
                       
Done: 287/637 (jobs: 1)
                       
Done: 288/637 (jobs: 1)
                       
Done: 289/637 (jobs: 1)
                       
Done: 290/637 (jobs: 1)
                       
Done: 291/637 (jobs: 1)
                       
Done: 292/637 (jobs: 1)
                       
Done: 293/637 (jobs: 1)
                       
Done: 294/637 (jobs: 1)
                       
Done: 295/637 (jobs: 1)
                       
Done: 296/637 (jobs: 1)
                       
Done: 306/637 (jobs: 1)
                       
Done: 308/637 (jobs: 1)
                       
Done: 352/637 (jobs: 1)
                       
Done: 354/637 (jobs: 1)
                       
Done: 372/637 (jobs: 1)
                       
Done: 374/637 (jobs: 1)
                       
Done: 377/637 (jobs: 1)
                       
Done: 379/637 (jobs: 1)
                       
Done: 421/637 (jobs: 1)
                       
Done: 423/637 (jobs: 1)
                       
Done: 426/637 (jobs: 1)
                       
make: *** [Makefile:59: lib] Error 1
 * ERROR: sci-mathematics/alt-ergo-2.3.0::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/alt-ergo-2.3.0::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/alt-ergo-2.3.0::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:alt-ergo-2.3.0:20191026-012450.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/alt-ergo-2.3.0/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/alt-ergo-2.3.0/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/alt-ergo-2.3.0/work/alt-ergo-2.3.0'
 * S: '/var/tmp/portage/sci-mathematics/alt-ergo-2.3.0/work/alt-ergo-2.3.0'