ESCTools make - astgen-1.0.0.linux

[George Karabotsos-2]

Hello,

after obtaining the latest ESCTools project from svn and running make,
I get the following:

make
Makefile.defs:79: Guessing a value for ASTGEN: astgen-1.0.0.linux
Makefile.defs:100: Guessing a value for ASTFILELIST: astfilelist-1.0.0.linux
make -C Escjava source generate_files
make[1]: Entering directory `/home/karabot/dev/workspaces/JML4/ESCTools/Escjava'
/bin/sh: line 6:  4541 Floating point
exception/home/karabot/dev/workspaces/JML4/ESCTools/Escjava/release/master/bin/astgen-1.0.0.linux
<hierarchy.j
Could not find component for
/home/karabot/dev/workspaces/JML4/ESCTools/Escjava/java/escjava/ast/ConditionVec.java
...

astgen-1.0.0.linux is crashing with a Floating point exception:

% ./astgen-1.0.0.linux
Floating exception

Any ideas?

George

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava

[George Karabotsos-2]

Hello again,

I was able to re-compile astgen by obtaining the Javafe project.
Using this new compiled astgen I can build ESCJava2 project from
command line - Eclipse reports a bunch of errors, all of them related
to the MANIFEST.MF and the Build Path.  I have "fixed" them (locally)
and Eclipse is not complaining any longer.  Not sure if you have
similar problems with Eclipse.

George

On Dec 21, 2007 10:43 AM, George Karabotsos <karabot@...> wrote:

> Hello,
>
> after obtaining the latest ESCTools project from svn and running make,
> I get the following:
>
> make
> Makefile.defs:79: Guessing a value for ASTGEN: astgen-1.0.0.linux
> Makefile.defs:100: Guessing a value for ASTFILELIST: astfilelist-1.0.0.linux
> make -C Escjava source generate_files
> make[1]: Entering directory `/home/karabot/dev/workspaces/JML4/ESCTools/Escjava'
> /bin/sh: line 6:  4541 Floating point
> exception/home/karabot/dev/workspaces/JML4/ESCTools/Escjava/release/master/bin/astgen-1.0.0.linux
> <hierarchy.j
> Could not find component for
> /home/karabot/dev/workspaces/JML4/ESCTools/Escjava/java/escjava/ast/ConditionVec.java
> ...
>
> astgen-1.0.0.linux is crashing with a Floating point exception:
>
> % ./astgen-1.0.0.linux
> Floating exception
>
> Any ideas?
>
> George
>

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava

[George Karabotsos]

Hello,

I am attaching a file showing the changes I had to make to the buildpath
and the manifest in order to get ESCJava2 project to compile.  AFAIK I
should be committing these changes but I am not sure whether or not they
are seen in other environments.  So I will delay these commits until
Monday :).

George

George Karabotsos wrote:

> Hello again,
>
> I was able to re-compile astgen by obtaining the Javafe project.
> Using this new compiled astgen I can build ESCJava2 project from
> command line - Eclipse reports a bunch of errors, all of them related
> to the MANIFEST.MF and the Build Path.  I have "fixed" them (locally)
> and Eclipse is not complaining any longer.  Not sure if you have
> similar problems with Eclipse.
>
> George
>
> On Dec 21, 2007 10:43 AM, George Karabotsos <karabot@...> wrote:
>  
>> Hello,
>>
>> after obtaining the latest ESCTools project from svn and running make,
>> I get the following:
>>
>> make
>> Makefile.defs:79: Guessing a value for ASTGEN: astgen-1.0.0.linux
>> Makefile.defs:100: Guessing a value for ASTFILELIST: astfilelist-1.0.0.linux
>> make -C Escjava source generate_files
>> make[1]: Entering directory `/home/karabot/dev/workspaces/JML4/ESCTools/Escjava'
>> /bin/sh: line 6:  4541 Floating point
>> exception/home/karabot/dev/workspaces/JML4/ESCTools/Escjava/release/master/bin/astgen-1.0.0.linux
>> <hierarchy.j
>> Could not find component for
>> /home/karabot/dev/workspaces/JML4/ESCTools/Escjava/java/escjava/ast/ConditionVec.java
>> ...
>>
>> astgen-1.0.0.linux is crashing with a Floating point exception:
>>
>> % ./astgen-1.0.0.linux
>> Floating exception
>>
>> Any ideas?
>>
>> George
>>
>>    
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2005.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> _______________________________________________
> JMLspecs-ESCJava mailing list
> JMLspecs-ESCJava@...
> https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava
>  

   

Index: /home/karabot/dev/workspaces/JML4/ESCJava2/.classpath
===================================================================
--- /home/karabot/dev/workspaces/JML4/ESCJava2/.classpath (revision 71004)
+++ /home/karabot/dev/workspaces/JML4/ESCJava2/.classpath (working copy)
@@ -3,8 +3,6 @@
  <classpathentry excluding="escwizard/**|houdini/**|instrumenter/**|tohtml/**" kind="src" path="Escjava/java"/>
  <classpathentry kind="src" path="Escjava/mochalib/java"/>
  <classpathentry including="escjava/test/*.java" kind="src" path="Escjava/test"/>
- <classpathentry excluding="jtools/jcheck/**" kind="src" path="Javafe/java"/>
- <classpathentry including="javafe/parser/test/*.java|javafe/test/*.java|javafe/test/lex/*.java" kind="src" path="Javafe/test"/>
  <classpathentry including="junitutils/*.java" kind="src" path="Utils"/>
  <classpathentry exported="true" kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
  <classpathentry exported="true" kind="lib" path="Utils/junit.jar"/>
Index: /home/karabot/dev/workspaces/JML4/ESCJava2/META-INF/MANIFEST.MF
===================================================================
--- /home/karabot/dev/workspaces/JML4/ESCJava2/META-INF/MANIFEST.MF (revision 71004)
+++ /home/karabot/dev/workspaces/JML4/ESCJava2/META-INF/MANIFEST.MF (working copy)
@@ -9,9 +9,7 @@
  Escjava/xmlrpc-1.2-b1-modified.jar,
  jmlspecs.jar,
  Utils/BCEL/bcel-5.2/bcel-5.2.jar
-Export-Package: decsrc.container,
- decsrc.io,
- decsrc.util,
+Export-Package:
  escjava,
  escjava.ant,
  escjava.ast,
@@ -51,7 +49,6 @@
  images,
  javafe,
  javafe.ast,
- javafe.ast.astgen,
  javafe.decsrc,
  javafe.filespace,
  javafe.genericfile,
@@ -62,11 +59,6 @@
  javafe.test,
  javafe.test.lex,
  javafe.util,
- jtools,
- jtools.jls,
- jtools.jls.man1,
- jtools.jwhich,
- jtools.jwhich.man1,
  junit.awtui,
  junit.extensions,
  junit.framework,

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava

[Dermot Cochran]

On 19 Jan 2008, at 15:48, George Karabotsos wrote:

> Hello,
>
> I am attaching a file showing the changes I had to make to the  
> buildpath and the manifest in order to get ESCJava2 project to  
> compile.  AFAIK I should be committing these changes but I am not  
> sure whether or not they are seen in other environments.  So I will  
> delay these commits until Monday :).

Yes, I only just started noticing Eclipse errors around the manifest,  
but had not fixed it yet, so many thanks for doing that.  Likewise, I  
had not noticed the problem with ASTGEN on linux.  Thanks for fixing  
that as well.

Regards,
Dermot

>
> George
>
> George Karabotsos wrote:
>> Hello again,
>>
>> I was able to re-compile astgen by obtaining the Javafe project.
>> Using this new compiled astgen I can build ESCJava2 project from
>> command line - Eclipse reports a bunch of errors, all of them related
>> to the MANIFEST.MF and the Build Path.  I have "fixed" them (locally)
>> and Eclipse is not complaining any longer.  Not sure if you have
>> similar problems with Eclipse.
>>
>> George
>>
>> On Dec 21, 2007 10:43 AM, George Karabotsos <karabot@...>  
>> wrote:
>>
>>> Hello,
>>>
>>> after obtaining the latest ESCTools project from svn and running  
>>> make,
>>> I get the following:
>>>
>>> make
>>> Makefile.defs:79: Guessing a value for ASTGEN: astgen-1.0.0.linux
>>> Makefile.defs:100: Guessing a value for ASTFILELIST:  
>>> astfilelist-1.0.0.linux
>>> make -C Escjava source generate_files
>>> make[1]: Entering directory `/home/karabot/dev/workspaces/JML4/
>>> ESCTools/Escjava'
>>> /bin/sh: line 6:  4541 Floating point
>>> exception/home/karabot/dev/workspaces/JML4/ESCTools/Escjava/
>>> release/master/bin/astgen-1.0.0.linux
>>> <hierarchy.j
>>> Could not find component for
>>> /home/karabot/dev/workspaces/JML4/ESCTools/Escjava/java/escjava/
>>> ast/ConditionVec.java
>>> ...
>>>
>>> astgen-1.0.0.linux is crashing with a Floating point exception:
>>>
>>> % ./astgen-1.0.0.linux
>>> Floating exception
>>>
>>> Any ideas?
>>>
>>> George
>>>
>>>
>>
>> ---------------------------------------------------------------------
>> ----
>> This SF.net email is sponsored by: Microsoft
>> Defy all challenges. Microsoft(R) Visual Studio 2005.
>> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
>> _______________________________________________
>> JMLspecs-ESCJava mailing list
>> JMLspecs-ESCJava@...
>> https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava
>>
>
> Index: /home/karabot/dev/workspaces/JML4/ESCJava2/.classpath
> ===================================================================
> --- /home/karabot/dev/workspaces/JML4/ESCJava2/.classpath (revision  
> 71004)
> +++ /home/karabot/dev/workspaces/JML4/ESCJava2/.classpath (working  
> copy)
> @@ -3,8 +3,6 @@
>   <classpathentry excluding="escwizard/**|houdini/**|instrumenter/
> **|tohtml/**" kind="src" path="Escjava/java"/>
>   <classpathentry kind="src" path="Escjava/mochalib/java"/>
>   <classpathentry including="escjava/test/*.java" kind="src"  
> path="Escjava/test"/>
> - <classpathentry excluding="jtools/jcheck/**" kind="src"  
> path="Javafe/java"/>
> - <classpathentry including="javafe/parser/test/*.java|javafe/test/
> *.java|javafe/test/lex/*.java" kind="src" path="Javafe/test"/>
>   <classpathentry including="junitutils/*.java" kind="src"  
> path="Utils"/>
>   <classpathentry exported="true" kind="con"  
> path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
>   <classpathentry exported="true" kind="lib" path="Utils/junit.jar"/>
> Index: /home/karabot/dev/workspaces/JML4/ESCJava2/META-INF/MANIFEST.MF
> ===================================================================
> --- /home/karabot/dev/workspaces/JML4/ESCJava2/META-INF/MANIFEST.MF
> (revision 71004)
> +++ /home/karabot/dev/workspaces/JML4/ESCJava2/META-INF/MANIFEST.MF
> (working copy)
> @@ -9,9 +9,7 @@
>   Escjava/xmlrpc-1.2-b1-modified.jar,
>   jmlspecs.jar,
>   Utils/BCEL/bcel-5.2/bcel-5.2.jar
> -Export-Package: decsrc.container,
> - decsrc.io,
> - decsrc.util,
> +Export-Package:
>   escjava,
>   escjava.ant,
>   escjava.ast,
> @@ -51,7 +49,6 @@
>   images,
>   javafe,
>   javafe.ast,
> - javafe.ast.astgen,
>   javafe.decsrc,
>   javafe.filespace,
>   javafe.genericfile,
> @@ -62,11 +59,6 @@
>   javafe.test,
>   javafe.test.lex,
>   javafe.util,
> - jtools,
> - jtools.jls,
> - jtools.jls.man1,
> - jtools.jwhich,
> - jtools.jwhich.man1,
>   junit.awtui,
>   junit.extensions,
>   junit.framework,
> ----------------------------------------------------------------------
> ---
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2008.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> _______________________________________________
> JMLspecs-ESCJava mailing list
> JMLspecs-ESCJava@...
> https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava