search

cui-unige / outils-formels-modelisation

Cours de Bachelor : Outils Formels de Modélisation
20 stars 44 forks source link

Comment lancer mon application #2

Closed kyouko-taiga closed 7 years ago

kyouko-taiga commented 7 years ago

J'ai oublié de préciser comment lancer votre application, après avoir intégré PetriKit.

Tout d'abord, gardez à l'esprit que Swift est un language à compiler. S'il existe un REPL (la commande swift dans le terminal qui lance un interprète interactif) celui-ci n'est à utiliser que pour faire des petits tests simples et rapides. Si vous souhaitez créer une vraie application (ou librairie), il vous faudra passer par la création d'un package, puis par la compilation de ce package. C'est exactement ce que vous faites si vous suivez le tutorial d'installation de PetriKit.

Une fois votre package créé, vous pouvez le compiler puis l'exécuter comme suit:

cd <path to your app>
swift build
.build/debug/<your app>

Par exemple, si votre application s'appelle Koala et qu'elle se situe dans votre home directory:

cd ~/Koala
swift build
.build/debug/Koala

Dans le cas du TP, des tests accompagnent le package que je vous ai fourni. Vous pouvez les exécuter avec la commande swift test.

EspritOrgue commented 7 years ago

image

Il y a une erreur lors de la compilation des test. (J'ai Swft 4.0) image

bastienfio commented 7 years ago

Bonjour, j'ai les même erreurs. J'ai installé PetriKit en créant mon package Myapp. Le build a fonctionné. Maintenant que faut-il faire ? Comment utiliser le Taskmanager avec PetriKit ? Lors du swift build du task manager : error: missingLinuxMain. Dans quel répertoire devont nous utiliser la commande swift test ? Avec swift test dans le petrikit, puisqu'il n'y a pas de fichier, cela ne sert à rien, et dans le taskManager, j'ai aussi l'erreur : missingLinuxMain. Merci d'avance.

bastienfio commented 7 years ago

Alors, en rajoutant un fichier dans le dossier du TaskManager nommé LinuxMain.swift là où il y a Package.swift, le swift build a fonctionné.

Ensuite, que doit donner le swift test ? Voici ce que j'ai : rien ! image

Sinon, toujours les mêmes questions, maintenant que faut-il faire ? Comment utiliser le Taskmanager avec PetriKit ? Quel fichier devons nous modifier pour le TP ?

kyouko-taiga commented 7 years ago

Fixed in 5e20c6c9e844f90c4a6bddb72315037e197a28f6

kyouko-taiga commented 7 years ago

Sinon, toujours les mêmes questions, maintenant que faut-il faire ? Comment utiliser le Taskmanager avec PetriKit ? Quel fichier devons nous modifier pour le TP ?

Tâchez de ne pas poser des questions qui n'ont pas un rapport direct avec l'issue. Ouvrez une autre issue au besoin.