Recent changes to Home

Home modified by fciri

fciri — Sat, 23 Nov 2013 13:03:37 -0000

--- v52
+++ v53
@@ -83,7 +83,21 @@

 ####Copy libs and header
-You can find the libs generated in dir /tmp/boost_1_54/bin.v2
+
+First, create the destination folder for libs and header:
+
+    mkdir /tmp/isartool-code/lib
+    mkdir /tmp/isartool-code/lib/include
+
+
+After you can copy libs and header.
+
+**Copy libs**:
+You can found libs inner following folder:
+
+-   /tmp/boost_1_54/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER) 
+-   /tmp/boost_1_54/bin.v2/libs/system/build/(NAME_OF_YOUR_COMPILER)  
+-   /tmp/boost_1_54/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER)

 If you have generated **shared libs**:
 Copy in /tmp/isartool-code/lib the following libs:
@@ -92,11 +106,6 @@
 -   libboost_system.so.1.54.0
 -   libboost_filesystem.so.1.54.0

-You can use the following command:
-
-    mkdir /tmp/isartool-code/lib
-    mv libboost_regex.so.1.54.0 libboost_system.so.1.54.0 libboost_filesystem.so.1.54.0 /tmp/isartool-code/lib 
-
 If you have generated **static libs**:
 Copy in /tmp/isartool-code/lib the following libs:

@@ -104,16 +113,9 @@
 -   libboost_system.a
 -   libboost_filesystem.a

-You can found this libs inner following folder:
-
--   /tmp/boost_1_54/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER) 
--   /tmp/boost_1_54/bin.v2/libs/system/build/(NAME_OF_YOUR_COMPILER)  
--   /tmp/boost_1_54/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER)
-
-
-You must copy also header with following command:
+**Copy header**:

-    cp /tmp/boost_1_54/    
+    cp -R /tmp/boost_1_54/boost /tmp/isartool-code/lib/include  

 ##2.4 Compile isar

Home modified by fciri

fciri — Sat, 23 Nov 2013 12:52:20 -0000

--- v51
+++ v52
@@ -82,7 +82,7 @@
     ./b2 link=static libs/system/build

-####Copy libs
+####Copy libs and header
 You can find the libs generated in dir /tmp/boost_1_54/bin.v2

 If you have generated **shared libs**:
@@ -91,6 +91,11 @@
 -   libboost_regex.so.1.54.0
 -   libboost_system.so.1.54.0
 -   libboost_filesystem.so.1.54.0
+
+You can use the following command:
+
+    mkdir /tmp/isartool-code/lib
+    mv libboost_regex.so.1.54.0 libboost_system.so.1.54.0 libboost_filesystem.so.1.54.0 /tmp/isartool-code/lib 

 If you have generated **static libs**:
 Copy in /tmp/isartool-code/lib the following libs:
@@ -104,6 +109,11 @@
 -   /tmp/boost_1_54/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER) 
 -   /tmp/boost_1_54/bin.v2/libs/system/build/(NAME_OF_YOUR_COMPILER)  
 -   /tmp/boost_1_54/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER)
+
+
+You must copy also header with following command:
+    
+    cp /tmp/boost_1_54/    

 ##2.4 Compile isar

Home modified by fciri

fciri — Sat, 09 Nov 2013 16:07:00 -0000

--- v50
+++ v51
@@ -13,11 +13,14 @@

 #1. USE PRECOMPILED BINARY FILE
 ------------------------------------------------------
-If you have a Linux running on x686_64 you can download precompiled version from https://sourceforge.net/p/isartool/code/ci/master/tree/precompiled/x686_64/isar
+If you have a Linux running on x86_64 you can download precompiled version from 

-This is precompiled version for processor x686 at 64 bit.
+http://sourceforge.net/projects/isartool/files/isar_static_x86_64/download

-For use precompiled version, download the file called "isar" and copy in directory included in your PATH as /usr/bin or /usr/local/bin.
+
+This is precompiled version for processor x86 at 64 bit.
+
+For use precompiled version, download the file and just copy in directory included in your PATH as /usr/bin or /usr/local/bin.

 #2. COMPILE THE PROGRAM

Home modified by Francesco Cirigliano

Francesco Cirigliano — Mon, 04 Nov 2013 23:48:43 -0000

--- v49
+++ v50
@@ -33,7 +33,9 @@

 ##2.2. Download isar souce code
 Download isar souce code from https://sourceforge.net/p/isartool/code/ci/master/tree/ clicking on button "Download snapshot".
-Extract the file for example in  **/tmp/isar** directory
+Extract the file, for example in  **/tmp/isartool-code** directory:
+
+    unzip -d /tmp/ isartool-code.zip

 ##2.3 Check boost libs
@@ -47,19 +49,18 @@

 ###2.3.1 Prepare boost libs
 Download the boost libs from http://sourceforge.net/projects/boost/files/latest/download
-Extract the file, for example running:
+Extract the file, for example running in folder **/tmp/boost_1_54**

-    tar -C /tmp/boost -xvjf boost_1_54_0.tar.bz2
-
-The extracted folder as referred as {BOOSTHOME} in this documentation.
+    tar -C /tmp/ -xvjf boost_1_54.tar.bz2

 ####Build bjam tool
-For make bjam tool (a metacompiler for compiling boost libs), enter to {BOOSTHOME} and run:
+For make bjam tool (a metacompiler for compiling boost libs), enter to /tmp/boost_1_54 and run:

+    cd /tmp/boost_1_54/
     ./bootstrap.sh

-An executable called b2 must be appear in the {BOOSTHOME} directory
+An executable called b2 must be appear in the /tmp/boost_1_54/ directory

 ####Compile boost libs
@@ -79,17 +80,17 @@

 ####Copy libs
-You can find the libs generated in dir {BOOSTHOME}/bin.v2
+You can find the libs generated in dir /tmp/boost_1_54/bin.v2

 If you have generated **shared libs**:
-Copy in ${ISARHOME}/lib the following libs:
+Copy in /tmp/isartool-code/lib the following libs:

 -   libboost_regex.so.1.54.0
 -   libboost_system.so.1.54.0
 -   libboost_filesystem.so.1.54.0

 If you have generated **static libs**:
-Copy in ${ISARHOME}/lib the following libs:
+Copy in /tmp/isartool-code/lib the following libs:

 -   libboost_regex.a
 -   libboost_system.a
@@ -97,26 +98,35 @@

 You can found this libs inner following folder:

--   {BOOSTHOME}/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER) 
--   {BOOSTHOME}/bin.v2/libs/system/build/(NAME_OF_YOUR_COMPILER)  
--   {BOOSTHOME}/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER)
+-   /tmp/boost_1_54/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER) 
+-   /tmp/boost_1_54/bin.v2/libs/system/build/(NAME_OF_YOUR_COMPILER)  
+-   /tmp/boost_1_54/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER)

 ##2.4 Compile isar
-For compile isar using shared libs, enter in ${ISARHOME} and run:
+For compile isar using shared libs, enter in /tmp/boost_1_54/ 
+
+    cd /tmp/boost_1_54/
+
+
+and run:

     make -f makefile.lin.dynamic

-For compile isar using static libs, enter in ${ISARHOME} and run:
+For compile isar using static libs, enter in /tmp/boost_1_54/ 
+
+    cd /tmp/boost_1_54/ 
+
+and run:

     make -f makefile.lin.static

 #3. RUN ISAR
 ------------------------------------------------------
-Enter in ${ISARHOME} folder
+Enter in /tmp/boost_1_54/ folder

-    cd ${ISARHOME}
+    cd /tmp/boost_1_54/

 For show the help, run

@@ -124,6 +134,6 @@

 For launching isar in everyplace of filesystem, copy isar in /usr/bin folder:

-    cp /bin/isar /usr/bin
+    cp /tmp/boost_1_54/bin/isar /usr/bin

Home modified by Francesco Cirigliano

Francesco Cirigliano — Mon, 04 Nov 2013 22:26:59 -0000

--- v48
+++ v49
@@ -49,7 +49,7 @@
 Download the boost libs from http://sourceforge.net/projects/boost/files/latest/download
 Extract the file, for example running:

-    tar -xvjf boost_1_54_0.tar.bz2 
+    tar -C /tmp/boost -xvjf boost_1_54_0.tar.bz2

 The extracted folder as referred as {BOOSTHOME} in this documentation.

Home modified by Francesco Cirigliano

Francesco Cirigliano — Mon, 04 Nov 2013 22:24:27 -0000

--- v47
+++ v48
@@ -33,7 +33,7 @@

 ##2.2. Download isar souce code
 Download isar souce code from https://sourceforge.net/p/isartool/code/ci/master/tree/ clicking on button "Download snapshot".
-Extract the file. The extracted folder as referred as {ISARHOME} in this documentation.
+Extract the file for example in  **/tmp/isar** directory

 ##2.3 Check boost libs

Home modified by Francesco Cirigliano

Francesco Cirigliano — Mon, 04 Nov 2013 22:22:29 -0000

--- v46
+++ v47
@@ -112,3 +112,18 @@
     make -f makefile.lin.static

+#3. RUN ISAR
+------------------------------------------------------
+Enter in ${ISARHOME} folder
+
+    cd ${ISARHOME}
+
+For show the help, run
+
+    bin/isar 
+
+For launching isar in everyplace of filesystem, copy isar in /usr/bin folder:
+
+    cp /bin/isar /usr/bin
+
+

Home modified by Francesco Cirigliano

Francesco Cirigliano — Mon, 04 Nov 2013 22:19:31 -0000

--- v45
+++ v46
@@ -81,25 +81,26 @@
 ####Copy libs
 You can find the libs generated in dir {BOOSTHOME}/bin.v2

-If you have generated shared libs:
-Copy in a system ${ISARHOME}/lib the following libs:
+If you have generated **shared libs**:
+Copy in ${ISARHOME}/lib the following libs:

 -   libboost_regex.so.1.54.0
 -   libboost_system.so.1.54.0
 -   libboost_filesystem.so.1.54.0

+If you have generated **static libs**:
+Copy in ${ISARHOME}/lib the following libs:
+
+-   libboost_regex.a
+-   libboost_system.a
+-   libboost_filesystem.a
+
 You can found this libs inner following folder:

--   {BOOSTHOME}/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER) and 
--   {BOOSTHOME}/bin.v2/libs/system/build/(NAME_OF_YOUR_COMPILER) and 
--   {BOOSTHOME}/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER) and
+-   {BOOSTHOME}/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER) 
+-   {BOOSTHOME}/bin.v2/libs/system/build/(NAME_OF_YOUR_COMPILER)  
+-   {BOOSTHOME}/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER)

-
-If you have generated static libs:
-Find the library libboost_regex.a in a subdirectory of {BOOSTHOME}/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER)/ and copy to {ISARHOME}/lib/
-
-Find the library libboost_filesystem.a in a subdirectory of {BOOSTHOME}/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER)/
-and copy to {ISARHOME}/lib/

 ##2.4 Compile isar
 For compile isar using shared libs, enter in ${ISARHOME} and run:

Home modified by Francesco Cirigliano

Francesco Cirigliano — Mon, 04 Nov 2013 22:17:01 -0000

--- v44
+++ v45
@@ -82,13 +82,17 @@
 You can find the libs generated in dir {BOOSTHOME}/bin.v2

 If you have generated shared libs:
-Copy in a system dir, for example /usr/lib or /usr/share/lib/ the following libs:
+Copy in a system ${ISARHOME}/lib the following libs:

 -   libboost_regex.so.1.54.0
 -   libboost_system.so.1.54.0
 -   libboost_filesystem.so.1.54.0

-You can found this libs inner {BOOSTHOME}/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER) and {BOOSTHOME}/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER).
+You can found this libs inner following folder:
+
+-   {BOOSTHOME}/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER) and 
+-   {BOOSTHOME}/bin.v2/libs/system/build/(NAME_OF_YOUR_COMPILER) and 
+-   {BOOSTHOME}/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER) and

 If you have generated static libs:

Home modified by Francesco Cirigliano

Francesco Cirigliano — Mon, 04 Nov 2013 22:11:49 -0000

--- v43
+++ v44
@@ -49,7 +49,7 @@
 Download the boost libs from http://sourceforge.net/projects/boost/files/latest/download
 Extract the file, for example running:

-    tar -xvjf boost_1_53_0.tar.bz2 
+    tar -xvjf boost_1_54_0.tar.bz2 

 The extracted folder as referred as {BOOSTHOME} in this documentation.

@@ -92,10 +92,10 @@

 If you have generated static libs:
-Find the library libboost_regex.a in a subdirectory of {BOOSTHOME}/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER)/ and copy to {ISARHOME}/libs/
+Find the library libboost_regex.a in a subdirectory of {BOOSTHOME}/bin.v2/libs/regex/build/(NAME_OF_YOUR_COMPILER)/ and copy to {ISARHOME}/lib/

 Find the library libboost_filesystem.a in a subdirectory of {BOOSTHOME}/bin.v2/libs/filesystem/build/(NAME_OF_YOUR_COMPILER)/
-and copy to {ISARHOME}/libs/
+and copy to {ISARHOME}/lib/

 ##2.4 Compile isar
 For compile isar using shared libs, enter in ${ISARHOME} and run: