Module Name: src Committed By: mrg Date: Fri Feb 23 05:33:04 UTC 2024
Added Files: src/external/mit/isl/include: Makefile gitversion.h isl_config.h src/external/mit/isl/include/isl: Makefile stdint.h src/external/mit/isl/lib/libisl: Makefile Log Message: build infrastructure for isl. To generate a diff of this commit: cvs rdiff -u -r0 -r1.1 src/external/mit/isl/include/Makefile \ src/external/mit/isl/include/gitversion.h \ src/external/mit/isl/include/isl_config.h cvs rdiff -u -r0 -r1.1 src/external/mit/isl/include/isl/Makefile \ src/external/mit/isl/include/isl/stdint.h cvs rdiff -u -r0 -r1.1 src/external/mit/isl/lib/libisl/Makefile Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.