Hello,
On Wed, Jun 14, 2006 at 08:08:15PM +0200, David MENTRE wrote:
> [ Je retransmet, mon précédent email ne t'ai pas parvenu. Merci de
> mettre [email protected] en copie dans ta réponse. ]
>
> Hello Serge and Sylvain,
>
> Serge Leblanc <[EMAIL PROTECTED]> writes:
>
> > I encounter difficulties during the compilation of ocaml-ast-analyze
> > with ocaml 3.09.2.
> > I receive the following error :
> >
> > [EMAIL PROTECTED]:~/dev/ocaml-ast-analyze-0.1.1$ make
> > cd libast-analyze-ocaml && make all
> > make[1]: Entering directory
> > `/home/serge/dev/ocaml-ast-analyze-0.1.1/libast-analyze-ocaml'
> > ../TopMakefile:185: .depend: No such file or directory
> > ocamlfind ocamlc -package "camlp4.gramlib" -c pr_ast_analyze.ml
> > File "pr_ast_analyze.ml", line 78, characters 6-23:
> > The constructor TyRec expects 2 argument(s),
> > but is here applied to 3 argument(s)
> > make[1]: *** [pr_ast_analyze.cmo] Error 2
> > make[1]: Leaving directory
> > `/home/serge/dev/ocaml-ast-analyze-0.1.1/libast-analyze-ocaml'
> > make: *** [all] Error 2
> >
> > Do you have already to encounter this problem?
>
> No but I suspect 3.09.2 changed OCaml internals. Sylvain, could you give
> us any advice?
>
> Best wishes,
> d.
Off course, i have an idea (look at the svn diff attach to this mail). I
have a lot of work for now, but i have prepared an ocaml-ast-analyze
0.1.2 to be released one day which should correct this behavior.
Kind regard
Sylvain Le Gall
Index: TopMakefile.in
===================================================================
--- TopMakefile.in (.../0.1.1) (revision 1049)
+++ TopMakefile.in (.../0.1.2) (revision 1049)
@@ -35,7 +35,6 @@
OCAMLFIND = @OCAMLFIND@
OCAMLP4 = @OCAMLP4@
OCAMLMKLIB = @OCAMLMKLIB@
-CAMLIDL = @CAMLIDL@
OCAMLYACC = @OCAMLYACC@
OCAMLLEX = @OCAMLLEX@
EXE = @EXE@
Index: configure.in
===================================================================
--- configure.in (.../0.1.1) (revision 1049)
+++ configure.in (.../0.1.2) (revision 1049)
@@ -12,7 +12,7 @@
AC_HELP_STRING([--with-localedir=dir], [Location of the locale dir (
default is /usr/share/locale and /usr/local/share/locale )]),
LOCALEDIR=$LOCALEDIR "\"$withval\";", LOCALEDIR="\"/usr/share/locale\";
\"/usr/local/share/locale\"")
-VERSION=0.1.1
+VERSION=0.1.2
DATE=`date`
# Check for Ocaml compilers
@@ -122,11 +122,6 @@
AC_MSG_ERROR(Cannot find camlp4.)
fi
-AC_CHECK_PROG(CAMLIDL,camlidl,camlidl,no)
-if test "$CAMLIDL" = no ; then
- AC_MSG_ERROR(Cannot find camlidl.)
-fi
-
AC_CHECK_PROG(OCAMLMKLIB,ocamlmklib,ocamlmklib,no)
if test "$OCAMLMKLIB" = no ; then
AC_MSG_ERROR(Cannot find ocamlmklib.)
@@ -147,7 +142,6 @@
AC_SUBST(OCAMLWIN32)
AC_SUBST(OCAMLFIND)
AC_SUBST(OCAMLP4)
-AC_SUBST(CAMLIDL)
AC_SUBST(OCAMLMKLIB)
AC_SUBST(EXE)
AC_SUBST(LOCALEDIR)
Index: CHANGELOG
===================================================================
--- CHANGELOG (.../0.1.1) (revision 1049)
+++ CHANGELOG (.../0.1.2) (revision 1049)
@@ -1,3 +1,7 @@
+v 0.1.2 :
+ * Don't search for camlidl in configure, camlidl is not used (Closes: #60),
+ * Compile for ocaml 3.09.0
+
v 0.1.1 :
* Add website/ : generate some pages to present ocaml-ast-analyze.
Index: libast-analyze-ocaml/pr_ast_analyze.ml
===================================================================
--- libast-analyze-ocaml/pr_ast_analyze.ml (.../0.1.1) (revision 1049)
+++ libast-analyze-ocaml/pr_ast_analyze.ml (.../0.1.2) (revision 1049)
@@ -75,16 +75,18 @@
ctyp t c1
| TyQuo (loc,str) ->
t
- | TyRec (loc,b,lst) ->
+ | TyRec (loc,lst) ->
fold (
fun t (loc,str,b,c1) ->
ctyp t c1
) t lst
- | TySum (loc,b,lst) ->
+ | TySum (loc,lst) ->
fold (
fun t (loc,str,lst) ->
fold ctyp t lst
) t lst
+ | TyPrv (loc, c1) ->
+ ctyp t c1
| TyTup (loc,lst) ->
fold ctyp t lst
| TyUid (loc,str)->
Index: libast-analyze-ocaml/pr_ast_dump.ml
===================================================================
--- libast-analyze-ocaml/pr_ast_dump.ml (.../0.1.1) (revision 1049)
+++ libast-analyze-ocaml/pr_ast_dump.ml (.../0.1.2) (revision 1049)
@@ -108,10 +108,9 @@
fprintf ppf "TyQuo(@[%a,@ [EMAIL PROTECTED])"
ast_loc loc
str
- | TyRec (loc,b,lst) ->
- fprintf ppf "TyRec(@[%a,@ %B,@ [EMAIL PROTECTED])"
+ | TyRec (loc,lst) ->
+ fprintf ppf "TyRec(@[%a,@ [EMAIL PROTECTED])"
ast_loc loc
- b
(
ast_list (
fun ppf (loc,str,b,c1) ->
@@ -122,10 +121,9 @@
ast_ctyp c1
)
) lst
- | TySum (loc,b,lst) ->
- fprintf ppf "TySum(@[%a,@ %B,@ [EMAIL PROTECTED])"
+ | TySum (loc,lst) ->
+ fprintf ppf "TySum(@[%a,@ [EMAIL PROTECTED])"
ast_loc loc
- b
(
ast_list (
fun ppf (loc,str,lst) ->
@@ -135,6 +133,10 @@
(ast_list ast_ctyp) lst
)
) lst
+ | TyPrv (loc,c1) ->
+ fprintf ppf "TyPrv(@[%a,@ [EMAIL PROTECTED])"
+ ast_loc loc
+ ast_ctyp c1
| TyTup (loc,lst) ->
fprintf ppf "TyTup(@[%a,@ [EMAIL PROTECTED])"
ast_loc loc
Index: libast-analyze-ocaml/META
===================================================================
--- libast-analyze-ocaml/META (.../0.1.1) (revision 1049)
+++ libast-analyze-ocaml/META (.../0.1.2) (revision 1049)
@@ -1,4 +1,4 @@
-version = "0.1"
+version = "0.1.2"
predicates = ""
requires = "camlp4.gramlib"
archive(byte) = "pr_ast_analyze.cmo"
Property changes on: .
___________________________________________________________________
Name: svn:ignore
- configure
+ configure
config.log
config.status
build
TopMakefile
autom4te.cache
_______________________________________________
Demexp-dev mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/demexp-dev
