# How are you using Ada, and how would you like to use Ada?

**URL:** https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57
**Category:** General
**Created:** [October 1, 2022, 10:07pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57 "2022-10-01T22:07:17Z")
**Posts on this page:** 12
**Page:** 2

<div class="post-metadata">

### Author: ![Richard-Wai](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/richard-wai/32/45_2.png) [@Richard-Wai](https://forum.ada-lang.io/u/Richard-Wai)
#### Post date: [October 18, 2022, 4:15pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/21 "2022-10-18T16:15:26Z")

</div>

This is not true except for apple watch. You can compile Ada code into a library and distribute that to the appstore. It’s simple to import that from Swift, haven’t tried objective-C.

---

<div class="post-metadata">

### Author: ![Lucretia](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/lucretia/32/17_2.png) [@Lucretia](https://forum.ada-lang.io/u/Lucretia)
#### Post date: [October 18, 2022, 4:31pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/22 "2022-10-18T16:31:01Z")

</div>

No you can’t. The GPL forbids access to the IR generated by GCC, go read it. AppStore licence forbids not being about to rebuild an application and relicence it, which is what their appstore does.

---

<div class="post-metadata">

### Author: ![Richard-Wai](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/richard-wai/32/45_2.png) [@Richard-Wai](https://forum.ada-lang.io/u/Richard-Wai)
#### Post date: [October 18, 2022, 4:46pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/23 "2022-10-18T16:46:32Z")

</div>

You are mistaken. You only need to submit IR for apple watch applications.

---

<div class="post-metadata">

### Author: ![JulienGioux](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/juliengioux/32/47_2.png) [@JulienGioux](https://forum.ada-lang.io/u/JulienGioux)
#### Post date: [October 18, 2022, 4:52pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/24 "2022-10-18T16:52:27Z")

</div>

Yes lucretia, I’ve talk with the dev “persan” but he have just start the bindings and i really don’t know how to help him and not sure to have time actually…

---

<div class="post-metadata">

### Author: ![JulienGioux](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/juliengioux/32/47_2.png) [@JulienGioux](https://forum.ada-lang.io/u/JulienGioux)
#### Post date: [October 18, 2022, 4:58pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/25 "2022-10-18T16:58:51Z")

</div>

Yop, i’m experimenting with awa till couple of week… but i need to progress with ada, i am a bit lost and i don’t think i need all the functionality of awa to build a simple rest Api.

---

<div class="post-metadata">

### Author: ![Lucretia](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/lucretia/32/17_2.png) [@Lucretia](https://forum.ada-lang.io/u/Lucretia)
#### Post date: [October 18, 2022, 5:07pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/26 "2022-10-18T17:07:31Z")

</div>

Even if that’s the case now, it won’t be in future given this is not the first time they have changed cpu architectures.

As per the GPL, there is [this](https://www.fsf.org/blogs/licensing/more-about-the-app-store-gpl-enforcement) from the FSF.

---

<div class="post-metadata">

### Author: ![Richard-Wai](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/richard-wai/32/45_2.png) [@Richard-Wai](https://forum.ada-lang.io/u/Richard-Wai)
#### Post date: [October 18, 2022, 5:09pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/27 "2022-10-18T17:09:42Z")

</div>

It’s not related to the architecture. iPhone has been arm for ages and you can put Ada binaries on the app store, I’ve done it myself.

GPL is not relevant at all if you’re not using GPL binaries. The GNAT RTL has a runtime exception. Again you don’t need to send IR to the appstore unless you are building for apple watch.

---

<div class="post-metadata">

### Author: ![Lucretia](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/lucretia/32/17_2.png) [@Lucretia](https://forum.ada-lang.io/u/Lucretia)
#### Post date: [October 18, 2022, 5:53pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/28 "2022-10-18T17:53:55Z")

</div>

> [@Richard-Wai](#):
>
> It’s not related to the architecture.

Completely missed the point.

> [@Richard-Wai](#):
>
> iPhone has been arm for ages and you can put Ada binaries on the app store, I’ve done it myself.

Just because you’ve done it, doesn’t make you right, nor does it mean you are complying with the licence agreements. Plenty of people have “done it” with GPL software and they’ve been removed, see [this](https://michelf.ca/blog/2011/gpl-ios-app-store/).

---

<div class="post-metadata">

### Author: ![Richard-Wai](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/richard-wai/32/45_2.png) [@Richard-Wai](https://forum.ada-lang.io/u/Richard-Wai)
#### Post date: [October 18, 2022, 6:15pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/29 "2022-10-18T18:15:12Z")

</div>

Luke, it’s OK to be wrong sometimes…

---

<div class="post-metadata">

### Author: ![Lucretia](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/lucretia/32/17_2.png) [@Lucretia](https://forum.ada-lang.io/u/Lucretia)
#### Post date: [October 18, 2022, 6:42pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/30 "2022-10-18T18:42:10Z")

</div>

And you are. You’re basically saying that both the FSF and Apple with all their lawyers are wrong and you are right. Ok.

---

<div class="post-metadata">

### Author: ![JeremyGrosser](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/jeremygrosser/32/3_2.png) [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)
#### Post date: [October 19, 2022, 2:08pm UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/31 "2022-10-19T14:08:52Z")

</div>

@Richard-Wai @Lucretia if you’d like to continue this discussion about licensing in the apple ecosystem, please review our [community guidelines](https://forum.ada-lang.io/faq) and start a separate topic.

---

<div class="post-metadata">

### Author: ![quentinsk](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/quentinsk/32/73_2.png) [@quentinsk](https://forum.ada-lang.io/u/quentinsk)
#### Post date: [October 22, 2022, 6:20am UTC](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57/33 "2022-10-22T06:20:57Z")

</div>

Dont’ know if it is good to clarify their misunderstanding after your remark. Just want to say that both are right but are maybe not talking about the same thing. Maybe Lucretia is talking about the AdaCore’s gnat-gpl which is indeed GPL and according to my memory, the run time library exception has been removed with recent versions, whereas Richar-Wai is talking about the gcc version of gnat with the run time library exception still available.  
Excerpt from the GCC RUNTIME LIBRARY EXCEPTION  
“When you use GCC to compile a program, GCC may combine portions of certain GCC header files and runtime libraries with the compiled program. The purpose of this Exception is to allow compilation of non-GPL (including proprietary) programs to use, in this way, the header files and runtime libraries covered by this Exception.”

[Previous page](https://forum.ada-lang.io/t/how-are-you-using-ada-and-how-would-you-like-to-use-ada/57.md?page=1)
