OSDev.org

The Place to Start for Operating System Developers
It is currently Thu Mar 28, 2024 5:31 pm

All times are UTC - 6 hours




Post new topic Reply to topic  [ 2 posts ] 
Author Message
 Post subject: No stdint.h generated by OS specific toolchain
PostPosted: Tue Nov 28, 2017 6:21 pm 
Offline
Member
Member

Joined: Thu Jul 07, 2005 11:00 pm
Posts: 1546
So, after quite a while I was able to finally compile an OS specific toolchain targeted to my OS. It seems to work properly, and libgcc did indeed build properly. However I've run into a big problem now. There is no stdint.h created by GCC. I see a lot of other builtins like stdarg.h, cpuid.h, vararg.h, etc.. but no stdint.h. I have compilers that are nearly identical but built to target i386-elf that do include stdint.h... I know I could just copy it over and place it there to get around my problem, but that is incredibly hacky and I'd rather find a long term solution. Why does freestandard compilers generate stdint.h but not my hosted compiler?

edit: I also do not have stdint-gcc.h

_________________
My new NEW blag


Top
 Profile  
 
 Post subject: Re: No stdint.h generated by OS specific toolchain
PostPosted: Tue Nov 28, 2017 6:43 pm 
Offline
Member
Member

Joined: Thu May 17, 2007 1:27 pm
Posts: 999
Generation of stdint.h is controlled by the use_gcc_stdint variable in config.gcc. There are basically three options: 1) stdint.h is part of libc and not included in GCC, 2) GCC generates a standalone stdint.h and 3) GCC generates a stdint-gcc.h that libc can wrap.

_________________
managarm: Microkernel-based OS capable of running a Wayland desktop (Discord: https://discord.gg/7WB6Ur3). My OS-dev projects: [mlibc: Portable C library for managarm, qword, Linux, Sigma, ...] [LAI: AML interpreter] [xbstrap: Build system for OS distributions].


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 posts ] 

All times are UTC - 6 hours


Who is online

Users browsing this forum: Bing [Bot] and 81 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group