Exactly what I was looking for! I was going to ask from your first answer if it was as simple as not using the line “framework=arduino” in the project file, which seem to be exactly that from your second answer.
Yes, the question on stackoverflow was mine. I didn’t get an answer linked to platform.io, thus I asked here. Thanks a lot!