OpenJML setup issues on Mac

[Patrice Chalin-3]

Dan, David et al.,

Note: that I am working with a Snow Leopard machine.

MAC ISSUES:
==========

I'm following the instructions given on the OpenJML setup page and I am running in to a few issues (well, actually, I'm not sure _if_ they are issues):

• "sudo port upgrade outdated" reported "Error: No ports found" for me. Is that ok? (I suspect it is, but just wanted to double check.)
• "sudo port install openjdk6" reported one error (given next). Is this a problem? Could it be that the warning issued by javac causes the "error 2" to be reported or do you think that the two are unrelated?
  

--->  Building openjdk6
Error: Target org.macports.build returned: shell command " cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_java_openjdk6\
/work/./" && /usr/bin/make -j2 all ALT_BOOTDIR="/opt/local/share/java/openjdk6_bootstrap" ALT_BINARY_PLUGS_PATH="/opt/local/share/java/icedtea6-plugs/jre/lib/rt-closed.jar\
" ANT_HOME="/opt/local/share/java/apache-ant" ALT_FREETYPE_HEADERS_PATH="/opt/local/include" ALT_FREETYPE_LIB_PATH="/opt/local/lib" ALT_CUPS_HEADERS_PATH="/usr/include" AL\
T_MOTIF_DIR="/opt/local" ALT_X11_PATH="/opt/local" ALT_DEVTOOLS_PATH=/usr ALT_CACERTS_FILE=/System/Library/Frameworks/JavaVM.framework/Home/lib/security/cacerts NO_DOCS=tr\
ue HOTSPOT_BUILD_JOBS=1 " returned error 2
Command output:     [javac] cast to java.lang.Object[] for a non-varargs call and to suppress this warning
    [javac]         return (OutputStream) fiFastInfosetResult_getOutputStream.invoke(result, null);
    [javac]                                                                                  ^
    [javac] Note: Some input files use or override a deprecated API.
    [javac] Note: Recompile with -Xlint:deprecation for details.
    [javac] Note: Some input files use unchecked or unsafe operations.
    [javac] Note: Recompile with -Xlint:unchecked for details.
    [javac] 8 warnings
  

• My openjdk was found under, "/opt/local/share/java/openjdk6_bootstrap". Is that normal, or is the fact that the dir name is different mean that my install didn't quite work (or that I got the wrong package ...?  Yet I issued the command "sudo port install openjdk6".)
  

OPENJML ISSUES:
==============

I've set up Eclipse to use the OpenJDK as instructed on the setup page. Then, using the project set file to import the OpenJML projects it seems to pickup the projects ok but I get the following build problems:

Description    Resource    Path    Location    Type
Project 'OpenJMLUI' is missing required library: 'openjml'    OpenJMLUI        Build path    Build Path Problem
Project 'OpenJMLUI' is missing required library: 'runtime'    OpenJMLUI        Build path    Build Path Problem

Could it be that these two libraries have not been committed?

Thanks!
Patrice

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers

[Daniel M. Zimmerman-2]

--On 6 September 2009 18:15:53 -0500 Patrice Chalin
<chalin@...> wrote:

> Dan, David et al.,
>
> Note: that I am working with a Snow Leopard machine.
>
> MAC ISSUES:
> ==========
>
> I'm following the instructions given on the OpenJML setup page and I am
> running in to a few issues (well, actually, I'm not sure _if_ they are
> issues):
>
>     * "sudo port upgrade outdated" reported "Error: No ports found" for
>       me. Is that ok? (I suspect it is, but just wanted to double check.)

If you had no ports installed, that's fine.

>     * "sudo port install openjdk6" reported one error (given next). Is
>       this a problem? Could it be that the warning issued by javac
>       causes the "error 2" to be reported or do you think that the two
>       are unrelated?

OpenJDK6 also does not yet build for me on Snow Leopard, but (I think) my
issue (<http://trac.macports.org/ticket/20956>) is different.


>     * My openjdk was found under,
>       "/opt/local/share/java/openjdk6_bootstrap". Is that normal, or is
>       the fact that the dir name is different mean that my install
>       didn't quite work (or that I got the wrong package ...?  Yet I
>       issued the command "sudo port install openjdk6".)

That's the bootstrap OpenJDK. The full one did not successfully build. I'm
not sure the bootstrap one will work for building OpenJML, but maybe it
will...

-Dan

------------------------------------------------------------------
Daniel M. Zimmerman                            Assistant Professor
1900 Commerce St. Box 358426          Institute of Technology, UWT
Tacoma, WA  98402                                      dmz@...

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers

[Patrice Chalin-3]

Daniel M. Zimmerman wrote:
> --On 6 September 2009 18:15:53 -0500 Patrice Chalin
> <chalin@...> wrote:
>
> If you had no ports installed, that's fine.
Ok.
> OpenJDK6 also does not yet build for me on Snow Leopard, but (I think)
> my issue (<http://trac.macports.org/ticket/20956>) is different.
Actually, if I run the "port -d install" command, I get that error too.  
Please let me know once you are able to successfully build openjdk6.
>>     * My openjdk was found under,
>>       "/opt/local/share/java/openjdk6_bootstrap". Is that normal, or is
>>       the fact that the dir name is different mean that my install
>>       didn't quite work (or that I got the wrong package ...?  Yet I
>>       issued the command "sudo port install openjdk6".)
>
> That's the bootstrap OpenJDK. The full one did not successfully build.
> I'm not sure the bootstrap one will work for building OpenJML, but
> maybe it will...
Don't really know yet ... pending the resolution of the OpenJMLUI
Eclipse project build problems.

Thanks,
Patrice

--
Patrice Chalin, Eng. Associate Prof., Dependable Software Research Group
DSRG, http://www.dsrg.org  CSE Dept., Concordia University, Room EV3.215
Home page http://www.encs.concordia.ca/~chalin Tel.[phone] x3004


------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers

[David Cok]

Patrice et al. (Sorry for the delayed response over the holiday weekend)

- I also had trouble building openjdk itself on Mac-Leopard.  I am
successfully using the prebuilt openjdk that Dan provided.

- For now I suggest that you close the OpenJMLUI project until I iron
out a few kinks in it.  However, you can try running the Make Release,
which builds the release and copies some stuff into the OpenJMLUI
project that that project needs.  I will embellish the build
instructions appropriately when I sort them out.

David


Patrice Chalin wrote:

> Daniel M. Zimmerman wrote:
>> --On 6 September 2009 18:15:53 -0500 Patrice Chalin
>> <chalin@...> wrote:
>>
>> If you had no ports installed, that's fine.
> Ok.
>> OpenJDK6 also does not yet build for me on Snow Leopard, but (I
>> think) my issue (<http://trac.macports.org/ticket/20956>) is different.
> Actually, if I run the "port -d install" command, I get that error
> too.  Please let me know once you are able to successfully build
> openjdk6.
>>>     * My openjdk was found under,
>>>       "/opt/local/share/java/openjdk6_bootstrap". Is that normal, or is
>>>       the fact that the dir name is different mean that my install
>>>       didn't quite work (or that I got the wrong package ...?  Yet I
>>>       issued the command "sudo port install openjdk6".)
>>
>> That's the bootstrap OpenJDK. The full one did not successfully
>> build. I'm not sure the bootstrap one will work for building OpenJML,
>> but maybe it will...
> Don't really know yet ... pending the resolution of the OpenJMLUI
> Eclipse project build problems.
>
> Thanks,
> Patrice
>

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers

[Patrice Chalin-3]

David Cok wrote:
> Patrice et al. (Sorry for the delayed response over the holiday weekend)
>  
Not a problem ... that's was the week-end was for :).
> - I also had trouble building openjdk itself on Mac-Leopard.  I am
> successfully using the prebuilt openjdk that Dan provided.
>  
Ok, I'll do that too.
> - For now I suggest that you close the OpenJMLUI project until I iron
>  
That's what I ended up doing (so as to be able to make progress).
> out a few kinks in it.  However, you can try running the Make Release,
> which builds the release and copies some stuff into the OpenJMLUI
> project that that project needs.  I will embellish the build
> instructions appropriately when I sort them out.
>  
Ok.

Thanks,
Patrice

--
Patrice Chalin, Eng. Associate Prof., Dependable Software Research Group
DSRG, http://www.dsrg.org  CSE Dept., Concordia University, Room EV3.215
Home page http://www.encs.concordia.ca/~chalin Tel.[phone] x3004


------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers