Kopitiam install log
====================


1. Get an clean eclipse 32 bit up and run
   ~/Applications/eclipse37kopitiam

2. And a *clean* workspace
   ~/itu/eclipse_workspace_kopitiam

3. From Eclipse just go to Help -> Install New Software and enter
   http://www.itu.dk/~hame/kopitiam as update-url. Version 0.0.19+
   should pop up.


Eclipse 32 bit verify
---------------------

::

    $ file Eclipse
    Eclipse: Mach-O universal binary with 2 architectures
    Eclipse (for architecture i386):	Mach-O executable i386
    Eclipse (for architecture ppc):	Mach-O executable ppc

    //versus a 64 bit version:
    $ file ../eclipse372classic64bit_vanilla/clipse/
    ../eclipse372classic64bit_vanilla/clipse/: cannot open `../eclipse372classic64bit_vanilla/clipse/' (No such file or directory)
    $ file ../eclipse372classic64bit_vanilla/eclipse
    ../eclipse372classic64bit_vanilla/eclipse: Mach-O 64-bit executable x86_64


Code
----

Kopitiam are on github:
https://github.com/hannesm/Kopitiam/blob/master/README


Charge! - Coq tactics and more
------------------------------

::

    // extract tar ball
    tar xzvf charge-201202.tar.gz

    // place it a reasoable place for now
    ~/itu/eclipse_workspace_kopitiam/charge-201202

    // set the COQBIN environmental and ensure its set
    export COQBIN=/Applications/CoqIdE_8.3pl3.app/Contents/Resources/bin/
    $COQBIN
    <print path to coq>

    // cd and run make
    cd ~/itu/eclipse_workspace_kopitiam/charge-201202
    make

    // then it start compile an more
    /Applications/CoqIdE_8.3pl3.app/Contents/Resources/bin/coqdep -c -slash -I .
    \ "BST.v" > "BST.v.d" || ( RV=$?; rm -f "BST.v.d"; exit ${RV} )
    ...
    Finished transaction in 4. secs (3.636431u,0.028333s)
    Finished transaction in 2. secs (2.404491u,0.026796s)



Configure Kopitiam w. Charge!/Coq
---------------------------------

1. After you have installed Kopitiam, you can open the preferences in Ecilpse
   and go to the Kopitiam-section.
2. There you will find path to Coq and path to Load. In path to Coq, put
   the search-path to your Coq installation, and in path to Load,
   your path to Charge!.




Navie questions
--------------------

1. Where is the Kopitiam section / settings in eclipse?
   I have looked
   http://screencast.com/t/f69DyWdR
   and verified its installed:
   http://screencast.com/t/mkaRPwoqI

2. Can I you paste in the java factorial method in a Test class or
   is there a special way to do it ?