Nantes Université

cohen-j created page: lambda_cube_fun_view rédigé par Julien COHEN's avatar Julien COHEN
......@@ -22,13 +22,12 @@ You also need to download the following source code :
* Our tool source code.
=== Install the system ===
* Download the source code of the Haskell Refactorer (HaRe) v.0.6 from HaRe webpage.
* Extract the files from the archive (for instance, 'tar xzvf HaRe_28062010.tar.gz').
* Download the archive containing our tool source code (from download page).
* cd into the directory created while extracting the HaRe archive (HaRe_28062010/) and extract the archive there.
* (Optional) Edit the variable GHCFLAGS in the file tools/base/HuMakefile to add -O2 (the uppercase letter O, not the number 0) at the end of the string defining the compiler options. You should reach the following string: ”-fglasgow-exts -XNoOverlappingInstances -O2” . Compilation will take more time, but the refactorer will be much faster.
* Patch HaRe to fix some bugs. The paches are provided in our tool source code archive. We provide a shell script to apply the patches (since our version 0.3): applyPatches.sh (you may need to use the command ./applyPatches.sh to execute it).
* Compile : run make at the root of the HaRe directory (it takes several minutes and a large ammount of memory: if you have 512MB of physical memory, you may need to close some processes).
* (Optional) Place the following directive in your .emacs file : (load ”{PATH-TO-HaRe-DIRECTORY}/HaRe_28062010/editors/Emacs/haskell-refac.el”)
1. Download the source code of the Haskell Refactorer (HaRe) v.0.6 from [HaRe webpage](http://www.cs.kent.ac.uk/projects/refactor-fp/hare.html).
2. Extract the files from the archive (for instance, 'tar xzvf HaRe_28062010.tar.gz').
3. Download the archive containing our tool source code (from the git repository).
4. cd into the directory created while extracting the HaRe archive (HaRe_28062010/) and extract the archive there.
5. (Optional) Edit the variable GHCFLAGS in the file tools/base/HuMakefile to add -O2 (the uppercase letter O, not the number 0) at the end of the string defining the compiler options. You should reach the following string: ”-fglasgow-exts -XNoOverlappingInstances -O2” . Compilation will take more time, but the refactorer will be much faster.
6. Patch HaRe to fix some bugs. The paches are provided in our tool source code archive. We provide a shell script to apply the patches (since our version 0.3): applyPatches.sh (you may need to use the command ./applyPatches.sh to execute it).
7. Compile : run make at the root of the HaRe directory (it takes several minutes and a large ammount of memory: if you have 512MB of physical memory, you may need to close some processes).
8. (Optional) Place the following directive in your .emacs file : (load ”{PATH-TO-HaRe-DIRECTORY}/HaRe_28062010/editors/Emacs/haskell-refac.el”)