Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 871423 - sci-mathematics/otter-3.3-r3 - formed.c: error: type specifier missing, defaults to int; ISO C99 and
Summary: sci-mathematics/otter-3.3-r3 - formed.c: error: type specifier missing, defau...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Related Packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: c99-porting
  Show dependency tree
 
Reported: 2022-09-18 13:23 UTC by Toralf Förster
Modified: 2022-10-11 11:42 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,18.45 KB, text/plain)
2022-09-18 13:23 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,222.20 KB, text/plain)
2022-09-18 13:23 UTC, Toralf Förster
Details
environment (environment,81.16 KB, text/plain)
2022-09-18 13:23 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,15.36 KB, application/x-bzip)
2022-09-18 13:23 UTC, Toralf Förster
Details
sci-mathematics:otter-3.3-r3:20220918-131424.log (sci-mathematics:otter-3.3-r3:20220918-131424.log,103.25 KB, text/plain)
2022-09-18 13:23 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,28.83 KB, application/x-bzip)
2022-09-18 13:23 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2022-09-18 13:23:28 UTC
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source/formed'
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c -o formed.o formed.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c -o display.o display.c
clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -fcommon -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c -o callback.o callback.c
formed.c:16:1: error: type specifier missing, defaults to 'int'; ISO C99 and
      later do not support implicit int [-Werror,-Wimplicit-int]
main(argc, argv)

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1-j4-20220915-203738

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-12.2.0 *
clang/llvm (if any):
clang version 15.0.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/15/bin
/usr/lib/llvm/15
15.0.0
Python 3.10.7
Available Ruby profiles:
  (none found)
Available Rust versions:
  [1]   rust-bin-1.63.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.16.1_p1 [openjdk-bin-11]
*)	Eclipse Temurin JDK 17.0.4.1_p1 [openjdk-bin-17]
3)	Eclipse Temurin JDK 8.345_p01 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17  system-vm

The Glorious Glasgow Haskell Compilation System, version 9.0.2
php cli (if any):
  [1]   php8.1 *
GNU Make 4.3.90

  HEAD of ::gentoo
commit cf4ca3b34687fe2c05dfc366e23f164beb852dae
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sun Sep 18 11:31:47 2022 +0000

    2022-09-18 11:31:47 UTC

emerge -qpvO sci-mathematics/otter
[ebuild  N    ] sci-mathematics/otter-3.3-r3
Comment 1 Toralf Förster gentoo-dev 2022-09-18 13:23:29 UTC
Created attachment 811597 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-09-18 13:23:31 UTC
Created attachment 811600 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2022-09-18 13:23:34 UTC
Created attachment 811603 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2022-09-18 13:23:35 UTC
Created attachment 811606 [details]
etc.portage.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2022-09-18 13:23:36 UTC
Created attachment 811609 [details]
sci-mathematics:otter-3.3-r3:20220918-131424.log
Comment 6 Toralf Förster gentoo-dev 2022-09-18 13:23:37 UTC
Created attachment 811612 [details]
temp.tar.bz2
Comment 7 Larry the Git Cow gentoo-dev 2022-10-11 11:42:57 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d540cd1f90c6cac3c4e81401f42ebf4c769ca7b6

commit d540cd1f90c6cac3c4e81401f42ebf4c769ca7b6
Author:     Ionen Wolkens <ionen@gentoo.org>
AuthorDate: 2022-10-11 11:38:15 +0000
Commit:     Ionen Wolkens <ionen@gentoo.org>
CommitDate: 2022-10-11 11:42:32 +0000

    sci-mathematics/otter: fix lto mismatch + build w/ upcoming clang16
    
    Closes: https://bugs.gentoo.org/863257
    Closes: https://bugs.gentoo.org/871423
    Signed-off-by: Ionen Wolkens <ionen@gentoo.org>

 .../otter/files/otter-3.3-clang16.patch            | 23 ++++++++++++++++++++++
 .../{otter-3.3-r3.ebuild => otter-3.3-r4.ebuild}   |  7 +++++--
 2 files changed, 28 insertions(+), 2 deletions(-)