Gentoo Forums
Gentoo Forums
Gentoo Forums
Quick Search: in
Proposto nuovo ebuild mysql-gui-tools con lua 5.1.1
View unanswered posts
View posts from last 24 hours
View posts from last 7 days

 
Reply to topic    Gentoo Forums Forum Index Forum italiano (Italian)
View previous topic :: View next topic  
Author Message
to.alex
n00b
n00b


Joined: 08 Apr 2007
Posts: 67

PostPosted: Sat May 19, 2007 12:40 pm    Post subject: Proposto nuovo ebuild mysql-gui-tools con lua 5.1.1 Reply with quote

Ho appena proposto un nuovo ebuild per mysql-gui-tools che con le nuove librerie lua 5.1.1 non compilava più.

Ho raccolto un po' tutte le patch trovate soprattutto in bugs.mysql.com, ho apportato qualche modifica all'ultimo ebuild esistente per mysql-gui-common e visto che tutto sembra funzionare ho pensato di proporlo su bugs.gentoo.org.

L'indirizzo è questo https://bugs.gentoo.org/show_bug.cgi?id=179097

È la mia prima segnalazione. Sono quindi ben accetti suggerimenti, commenti, o migliorie.


Last edited by to.alex on Sat May 19, 2007 12:50 pm; edited 1 time in total
Back to top
View user's profile Send private message
Kind_of_blue
Guru
Guru


Joined: 10 Oct 2004
Posts: 485

PostPosted: Sat May 19, 2007 12:43 pm    Post subject: Reply with quote

Sei la salvezza della mia pigrizia

Grazie mille
_________________
"I got off the concept of Progress, it's over-rated"
Arthur Dent
Back to top
View user's profile Send private message
to.alex
n00b
n00b


Joined: 08 Apr 2007
Posts: 67

PostPosted: Sat May 19, 2007 12:49 pm    Post subject: Reply with quote

Purtroppo però (l'ho appena aggiunto alla segnalazione su bugs.gentoo.org) mysql-workbench ancora non funziona, nonostante venga compilato senza problemi.
Qui http://bugs.mysql.com/bug.php?id=24777 viene spiegato il perché e la risoluzione potrebbe richiedere un bel po' di tempo.

Appena ne ho un po' magari do un'occhiata. Per oggi però non credo di metterci più mani :)

Ciao.
Back to top
View user's profile Send private message
Display posts from previous:   
Reply to topic    Gentoo Forums Forum Index Forum italiano (Italian) All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum