polly/lib/External/README.txt

   1 The libraries in this directory are mirrored from external projects.
   2
   3 Patches to them should first be contributed upstream and then return to Polly
   4 as normal (re)imports of these updated libraries.
   5
   6 We currently have the following external libraries.
   7
   8 # isl
   9 License: MIT-STYLE
  10 Details: isl/LICENSE
  11
  12 # imath
  13 License: MIT-STYLE
  14 Details: isl/imath/LICENSE
  15
  16 To update these libraries run 'autoreconf -i && ./configure && make dist' in
  17 the isl git directory and move the resulting files into lib/External/isl.
  18 Alternatively, run the update-isl.sh script.