Journal Un premier contact avec le langage Nim

Posté par . Licence CC by-sa.
28
3
juil.
2019

Au gré de mes pérégrinations sur Github, j'ai trouvé un benchmark de serveur Web qui date un peu mais qui m'a interpelé.

J'avais déjà entendu parlé du langage Nim mais je le classais plutôt comme projet de recherche.
En regardant de plus près, je tombe sur une version 0.20 aboutie et un éco-système déjà très riche.

Nim se décrit comme un langage compilé statiquement typé qui propose également la méta-programmation (macros), un ramasse-miette, le "pattern-matching" fonctionnel et une compilation (...)

Journal Bootstrap Binary seed

60
4
fév.
2019

Demat'iNal,

J'ai été frappé (ouille) par cet exposé au FOSDEM 2019.
Le sujet sous-jacent était « comment arriver à un compilateur C » à partir de… source. Et il est vrai que jamais je ne m'étais posé la question sous cet angle : arriver à faire qu'un compilateur pour un langage X soit écrit dans ce même langage X suppose… que l'on ait déjà un compilateur pour X. Ce problème se gérant soit par la disponibilité d'un autre compilateur, soit (...)

Forum Linux.debian/ubuntu Compilation Gimp

Posté par (page perso) . Licence CC by-sa.
0
7
fév.
2018

Bonjour,

J'essaie de compiler la version de test de Gimp depuis leur repo git. J'ai déjà réussi à compiler libmypaint et babl, mais j'ai ce message d'erreur lors de la compilation de gegl:

/usr/bin/ld: .libs/exr_load_la-exr-load.o: relocation R_X86_64_32 against `.text' can not be used when making a shared object; recompile with -fPIC
.libs/exr_load_la-exr-load.o: error adding symbols: Bad value
collect2: error: ld returned 1 exit status
Makefile:1013 : la recette pour la cible « exr-load.la » a échouée

Est ce que vous savez ce qui (...)

Journal Version minimum de CMake

Posté par . Licence CC by-sa.
13
7
juin
2017

Bonjour Nal,

Je vais bientôt me retrouver face à un dilemme insoluble : choisir la bonne version minimum de CMake pour écrire un CMakeLists.txt. Jusqu'à présent, ma distribution préférée avait CMake 3.0.2 dans sa mouture stable. Donc, c'est celle que j'utilisais et c'est celle que je prenais comme version minimum. Déjà, ça me posait un certain nombre de problème parce que dans Ubuntu Trusty (la LTS de 2014), qui est installé dans mon univ, CMake en est à (...)

Journal Malfunction: réutiliser la représentation intermédiaire du compilateur OCaml

Posté par . Licence CC by-sa.
24
24
juin
2016

Stephen Dolan (github, vielle page perso) est un étudiant en thèse d'informatique à Cambridge, UK, et il a de nombreux talents et des centres d'intérêt variés au sein de la discipline. D'un côté il a un goût pour l'élégance mathématique assez visible dans ses travaux (en particulier son travail de thèse très intéressant sur le sous-typage, avec une forte inspiration algébrique), de l'autre c'est aussi un hacker qui s'intéresse à l'implémentation, et a par exemple fait une (...)

Nouvelle compilation de logiciels libres pour Windows 64 bits

Posté par (page perso) . Édité par Florent Zara, ZeroHeure et palm123. Modéré par Xavier Claude. Licence CC by-sa.
29
17
mai
2016
Microsoft

Une nouvelle compilation de logiciels libres pour Windows 64 bits est disponible en téléchargement libre et gratuit.

Logo compilibre

Plus de 60 logiciels libres ont été sélectionnés selon les critères suivant :

  • richesse fonctionnelle ;
  • licence(s) libre(s), de préférence copyleftées ;
  • logiciels disponibles à la fois pour Windows, Mac OS X et GNU/Linux, pour faciliter le passage de Windows à GNU/Linux ou de Mac OS X à GNU/Linux ;
  • développement actif.

Mise à jour de la compilation de logiciels libres pour Windows (janvier 2016)

Posté par (page perso) . Édité par Benoît Sibaud et Nÿco. Modéré par Pierre Jarillon. Licence CC by-sa.
18
22
jan.
2016
Microsoft

La compilation de logiciels libres faite avec COMPILIBRE a été mise à jour. Elle est disponible en téléchargement (merci à Framasoft qui offre un stockage FTP) ; le fichier ZIP à décompresser sur votre ordinateur ou une clé USB fait environ 5,1 Go.

Au menu, des mises à jour, des nouveautés comme le logiciel de généalogie Gramps, GnuCash, Gpg4win, KeePassX, OpenJDK, WinCompose qui a fait l'objet d'un article récent sur LinuxFr.org, la suppression de logiciels qui installent maintenant des virus ou d'autres logiciels indésirables (CC PDF Converter, PDF Creator, FreeFileSync) et qui salissent l'image des logiciels libres.

La compilation fonctionne sur une clé USB, c'est pratique si vous voulez installer des logiciels libres sur des postes Windows qui ont un accès bas débit ou pas d'accès internet du tout, prévoir dans le dernier cas d'y ajouter des bibliothèques de base (JAVA ou ZULU en 64 bits), Visual C++ 2005/2008/2010/2012/2013/2015, .NET Framework 3.5/4 ou 4.5.

Pour que le projet évolue, faites un don sur le site web du projet. De l'aide est aussi recherchée pour remplacer l'interface en XUL de l'installeur par une interface en HTML5.

Mise à jour de la compilation de logiciels libres pour Windows (novembre 2015)

Posté par (page perso) . Édité par Nils Ratusznik, Benoît Sibaud et ZeroHeure. Modéré par Nils Ratusznik. Licence CC by-sa.
10
8
nov.
2015
Microsoft

Une nouvelle compilation de logiciels libres pour Windows est disponible en téléchargement libre et gratuit. Plus de 60 logiciels libres ont été sélectionnés suivant ces critères :

  • richesse fonctionnelle ;
  • licence(s) libre(s), de préférence copyleftées ;
  • logiciels disponibles à la fois pour Windows et GNU/Linux, pour faciliter le passage de Windows à GNU/Linux ;
  • développement actif ;

Journal Pythran 0.7.2 - détails techniques

Posté par (page perso) . Licence CC by-sa.
28
15
oct.
2015

Termi' Nal (humour du 42ème degré),

Pythran, compilateur open source dédié au Python scientifique, vient tout juste de sortir sa version 0.7.2, à l'occasion de PyConFR où il sera présent. Ceux qui ont loupé la saison 1 de ce magnifique compilateur seront peut-être intéressés par le tag pythran.

Au lieu de vous résumer le Changelog, le reste de ce journal va vous parler de deux points techniques, un sur (...)

Forum Linux.debian/ubuntu error: required file 'static/Makefile.in' not found

Posté par . Licence CC by-sa.
1
24
avr.
2015

Bonjour,
Je suis sur une debian wheezy-backports, et je tente désespérément d'installer kiwix.
http://www.kiwix.org/wiki/Main_Page
J'ai tenter l'exécution des binaires proposés en téléchargement sur le site officiel, mais bash me répond que c'est impossible.
http://www.kiwix.org/wiki/Software
J'ai tenté l'installation du code en le compilant, mais j'ai encore mieux, j'ai une belle erreur dès le ./autogen.sh ou ./configure:

error: required file 'static/Makefile.in' not found

J'ai regardé sur le net, et on conseil de se mettre en root sur le dossier source, et de (...)

Compilation de logiciels libres pour Windows (janvier 2015)

Posté par (page perso) . Édité par Benoît Sibaud et patrick_g. Modéré par patrick_g. Licence CC by-sa.
11
12
jan.
2015
Microsoft

Une nouvelle compilation de logiciels libres pour Windows est disponible. Plus de 60 logiciels libres ont été sélectionnés en suivant autant que possible ces critères :

  • richesse fonctionnelle ;
  • licence(s) libre(s), de préférences copyleftées et compatibles avec les licences GNU ;
  • logiciels existants sous Windows, GNU/Linux, Mac OS X ;
  • pérennité du logiciel : développement actif, communauté importante ;
  • utilisation de langages et de bibliothèques indépendantes de Windows ;
  • version française.

NdM : il faut l'acheter pour connaître la liste des logiciels libres concernés et les versions présentes ; cette liste est prévue pour évoluer.

Forum général.petites-annonces Reservoir Labs recrute

Posté par . Licence CC by-sa.
5
7
jan.
2014

Salut,

Disclaimer: Je ne fais pas partie de la boite, mais mon labo collabore avec eux sur certains projets.

Reservoir Labs est une boite située à New-York, qui produit un compilateur, R-Stream, basé sur des techniques avancées (modèle polyédrique, tout ça).

La description du poste est disponible là: https://www.reservoir.com/2014/01/02/senior-engineer-research/

Il y a de bonnes et de mauvaises nouvelles.

Les mauvaises d'abord:

  1. Reservoir propose un compilateur, R-Stream, qui est complètement propriétaire. Une bonne partie des fonds de la boite provient de (...)

Journal OSX, Windows, GNU/Linux Toolchains

47
12
déc.
2013

Depuis maintenant plus d'un an je travaille avec Ray Donnelly sur l'ajout dans l'outil crosstool-ng du support de Darwin(OSX) comme système cible.

Nous avons depuis maintenant un moment une solution fonctionnelle et somme en train de faire les demandes de patch pour que notre fork, ceci est plus une sandbox qu'un fork à proprement parlé, soit directement intégré dans la version officielle de crosstool-ng

De base, crosstool-ng est un outil permettant de générer des chaînes de cross-compilation depuis un (...)

Forum Linux.général Comment créer un PKG pour fun_plug?

1
17
nov.
2013

Bonjour, depuis quelques temps j'ai installer fun_plug sur mon NAS320 histoire de le transformer en webserver / webmail. J'aimerais aller plus loin et le configurer aux petits ognons et pour cela je dois absolument compiler certaines lib et programmes car les paquets de fun_plug sont peu récents. Bref, la compilation fonctionne parfaitement même si c'est ultra long (deux heures pour compiler mediatomb), mais j'aimerais créer des PKG prêt à l'emploi pour éviter de devoir recompiler a chaque fois que je (...)