https://github.com/c-corn/corn
Revision 6411967b1598350beb85cb984abb8b46b9beb3df authored by Ben Sherman on 01 March 2016, 20:23:18 UTC, committed by Ben Sherman on 01 March 2016, 20:23:18 UTC
Use Jason Gross's `absolutize-imports.py` script to make all [Import] statements use absolute paths rather than just relative paths, which fixes errors for case-insensitive filesystems. See: https://gist.github.com/JasonGross/14decf638535a2447286 https://github.com/JasonGross/coq-tools
1 parent e14d3b4
Tip revision: 6411967b1598350beb85cb984abb8b46b9beb3df authored by Ben Sherman on 01 March 2016, 20:23:18 UTC
Absolutize all [Import]s
Absolutize all [Import]s
Tip revision: 6411967
File | Mode | Size |
---|---|---|
algebra | ||
broken | ||
classes | ||
complex | ||
coq_reals | ||
doc | ||
dump | ||
examples | ||
fta | ||
ftc | ||
logic | ||
metric2 | ||
metrics | ||
model | ||
ode | ||
old | ||
order | ||
raster | ||
reals | ||
site_scons | ||
stdlib_omissions | ||
tactics | ||
tools | ||
transc | ||
util | ||
.gitignore | -rw-r--r-- | 283 bytes |
LICENSE | -rw-r--r-- | 17.6 KB |
Make.in | -rw-r--r-- | 38 bytes |
README | -rw-r--r-- | 1.3 KB |
SConstruct | -rw-r--r-- | 1.3 KB |
configure.sh | -rwxr-xr-x | 257 bytes |
description | -rw-r--r-- | 2.0 KB |
Computing file changes ...