CVS commit: src/external/mit/isl

["matthew green" <mrg%netbsd.org@localhost>]

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.