From 2125f01f97abfe343fc5e0cc078bf1d081b2e441 Mon Sep 17 00:00:00 2001
From: Ian Jauslin <ian.jauslin@roma1.infn.it>
Date: Fri, 20 May 2016 20:30:15 +0000
Subject: Initial commit

---
 INSTALL | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 INSTALL

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
new file mode 100644
index 0000000..bc9fa86
--- /dev/null
+++ b/INSTALL
@@ -0,0 +1,43 @@
+#######################################################################
+##                                                                   ##
+##            Compiling and installing libinum.                      ##
+##                                                                   ##
+#######################################################################
+
+* libinum should work on any POSIX compliant system, such as GNU/Linux or OSX.
+
+* libinum is linked against the GNU MPFR, GNU GMP and pthread libraries.
+
+* Compiling:
+  Run
+    make
+  
+  The default paths can be modified by passing the appropriate arguments to
+  make, as specified in the following table
+    compiler   :  CC=/usr/bin/gcc
+    linker     :  LD=/usr/bin/gcc
+    archive    :  AR=/usr/bin/ar
+    include    :  INCLUDE=
+    lib paths  :  LIB=
+    optimize   :  OPT=-O3
+
+  For example,
+    make CC=/usr/local/bin/gcc INCLUDE=/usr/local/include LIBDIR=-L/usr/local/lib
+
+  In addition, libinum can be compiled as  dynamic or static library, which is
+  controlled by the STATIC option of the makefile.
+    If STATIC=0 (default) then compile both
+    If STATIC=1 then compile the static library
+    If STATIC=2 then compile the dynamic library
+
+
+* Installing:
+  Run
+    make install
+
+  The default install prefix (/usr) can be changed by changing the PREFIX
+  variable.
+
+  For example
+    make install PREFIX=/usr/local
+
-- 
cgit v1.2.3-70-g09d2