Retourner au contenu associé (dépêche : Sortie de Stog en version 0.15)
Posté par zoggy le 08 juillet 2015 à 22:38. En réponse à la dépêche Sortie de Stog en version 0.15. Évalué à 5.
Oui, c'est bien Dynlink qui est utilisé.
Il est vrai que c'était un peu pénible à une époque pas si lointaine, mais avec le gestionnaire de paquets opam, ce n'est plus un problème. Le gestionnaire fait les recompilations nécessaires d'après les dépendances déclarées entre les paquets.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Complément : plugins
Posté par zoggy . En réponse à la dépêche Sortie de Stog en version 0.15. Évalué à 5.
Oui, c'est bien Dynlink qui est utilisé.
Il est vrai que c'était un peu pénible à une époque pas si lointaine, mais avec le gestionnaire de paquets opam, ce n'est plus un problème. Le gestionnaire fait les recompilations nécessaires d'après les dépendances déclarées entre les paquets.