From c6eaef8413e0aae5ac0720ed9f1b32cb05a8b5e4 Mon Sep 17 00:00:00 2001
From: Franck Wajsburt <alliance-cvs@asim.lip6.fr>
Date: Tue, 9 Apr 2002 14:59:56 +0000
Subject: [PATCH] pb getopt entre solaris et Linux

---
 alliance/src/exp/src/Makefile.am | 2 +-
 alliance/src/exp/src/main.c      | 8 +++++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/alliance/src/exp/src/Makefile.am b/alliance/src/exp/src/Makefile.am
index 52c2442f..b78ce7ec 100644
--- a/alliance/src/exp/src/Makefile.am
+++ b/alliance/src/exp/src/Makefile.am
@@ -4,6 +4,6 @@ bin_PROGRAMS = exp
 
 YACC = @YACC@ -d -v --debug
 CFLAGS = @CFLAGS@ @ALLIANCE_CFLAGS@
-exp_LDADD = -lm -lfl
+exp_LDADD =
 
 exp_SOURCES = exp.h expy.y expl.l ht.c ht.h main.c
diff --git a/alliance/src/exp/src/main.c b/alliance/src/exp/src/main.c
index 5a5c9d6d..15c491be 100644
--- a/alliance/src/exp/src/main.c
+++ b/alliance/src/exp/src/main.c
@@ -1,7 +1,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include <getopt.h>
+// #include <getopt.h>
 #include "exp.h"
 #include "ht.h"
 
@@ -20,8 +20,14 @@ void getoption (int ac, char *av[], FILE ** expout, FILE ** expin)
 {
   char option;
   int verbose;
+
+  extern char *optarg;
+  extern long optind;
+  extern char getopt (long, char **, char *);
+
   *expin = stdin;
   *expout = stdout;
+
   yydebug = 0;
 
   dico=htinit(10000);