Hi, just to also note: that this completely ignores any host / target IO actions that TH might want to run.
cheers, moritz > On Nov 24, 2016, at 12:51 PM, Moritz Angermann <[email protected]> wrote: > > It's certainly far from ideal, but for CI, what obstacles are there besides > needing a runner accessible from cross compiling machine? > > E.g. Start the runner app on an iPhone plugged in into a USB power source and > leave it there? > > Sent from my iPhone > >> On 24 Nov 2016, at 12:42 PM, Manuel M T Chakravarty <[email protected]> >> wrote: >> >> Sorry, but I don’t think running on the device is practical. How do you want >> to do CI, for example? >> >> Manuel >> >>> Moritz Angermann <[email protected]>: >>> >>> >>>> On Nov 23, 2016, at 7:50 PM, Simon Marlow <[email protected]> wrote: >>>> >>>> […] >>>> >>>> My question would be: are you *sure* you can't run target code at compile >>>> time? Not even with an iphone simulator? >>> >>> This should be possible. However for proper development one would need to >>> run on the >>> device (iPhone, iPad, …) for armv7 or arm64, as the Simulator is i386 or >>> x86_64. >>> >>> There is a bit of additional engineering required here to get the shipping >>> of >>> code from ghc to the runner on the target required (e.g. via network). As >>> executing >>> and controlling applications on the actual hardware is limited, I guess a >>> custom >>> ghc-runner application would have to be manually started on the device, >>> which could >>> trivially be discovered using bonjour/zeroconf (or just giving ghc the >>> host:port information). >>> >>> In general though, the runner does not have to obey all the restrictions >>> apple puts >>> onto app-store distributed apps, as I expect that everyone could build and >>> install >>> the runner themselves when intending to do iOS development with ghc. >>> >>> cheers, >>> moritz >>> _______________________________________________ >>> ghc-devs mailing list >>> [email protected] >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> > > _______________________________________________ > ghc-devs mailing list > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
