@beele
Using model builder you can create all the BSLPK ( Building SLPK) and then you will need to upload them to AGOL. Also, remember you will need to do the transformation to WGS84 so when you open them on the web you can leverage the AGOL, living Atlas data... etc.
Assumption
* All your IFC files are georeference already.
