Accueil > Linux, Uncategorized > Patch pour compiler « thom », l’émulateur Thomson T07/70

Patch pour compiler « thom », l’émulateur Thomson T07/70

thom
Il y a quelques années, je retrouvais avec émoi un émulateur de Thomson To7/70, la première machine que j’ai eu sous les mains en 1985 (en fait non, il y avait déjà eu un Sinclair ZX81 à la maison mais j’avais pas trop le droit de toucher).
L’émulateur « thom » a à l’origine été écrit par sylvain Huet en 1996, puis repris par Eric Botcazou qui distribue sur ce site les binaires et sources pour différents OS dont Linux. Le hic c’est que tout cela commence à dater un peu (2003). Les binaires ne sont plus fonctionnels et quand au sources il a fallut adapter pour pouvoir à nouveau compiler.

Les principaux problèmes dans le code d’origine proviennent de l’utilisation de la version 1.2 du toolkit GTK+ aujourd’hui obsolète.
J’ai produit un patch que je met à disposition ici .
Donc pour compiler (debian Squeeze, gcc version 4.4.5, gtk+-2.0):

lemoi@T60:/tmp$ wget http://nostalgies.thomsonistes.org/archives/thom-1.5.5-src.tar.gz
lemoi@T60:/tmp$ wget http://lemoi1.free.fr/wp/thom.patch
lemoi@T60:/tmp$ tar -xvzf thom-1.5.5-src.tar.gz
lemoi@T60:/tmp$ patch -p1 -d thom < thom.patch
lemoi@T60:/tmp$ cd thom/
lemoi@T60:/tmp/thom$ make
gcc -c `pkg-config gtk+-2.0 --cflags` -I./include -o obj/linux/disk.o src/disk.c
gcc -c `pkg-config gtk+-2.0 --cflags` -I./include -o obj/linux/errors.o src/errors.c
(...)
The optimized linux version has been compiled.

Catégories :Linux, Uncategorized Étiquettes : , ,
  1. Aucun commentaire pour l’instant.
  1. No trackbacks yet.

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s

%d blogueurs aiment cette page :