⚲
Project
General
Profile
Sign in
Home
Projects
Help
Search
:
LustreC
All Projects
CristalCaveGem
»
LustreC
+
New issue
Overview
Activity
Issues
News
Files
Repository
«
Previous
|
Next
»
Revision b8ae1bbc
Added by
Pierre-Loïc Garoche
about 11 years
ago
ID
b8ae1bbcad9ba22cc3ba963e4246b422c525babe
Parent
7bc15356
Child
b580c8f8
,
b63536a0
Improvements as suggested by e. Noulard: better install of include; modified generated makefile
Changes
View differences
added
modified
copied
renamed
deleted
_oasis
(
diff
)
setup.ml
(
diff
)
src
c_backend.ml
(
diff
)
test
Makefile
(
diff
)
test-compile.sh
(
diff
)
Loading...
Improvements as suggested by e. Noulard: better install of include; modified generated makefile