- Committer: Jean-Vincent Loddo
- Date: 2023-05-31 10:28:01 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20230531102801-0s31vc1xzpd2kjqu
Minor changes in the Makefile in order to allow root to execute dune with the user opam environment
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
bin
|
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c |
|
||
|
doc
|
1 | 16 years ago | jean | Re-created the repository. This new repository onl |
|
||
|
doc-src
|
153 | 15 years ago | jean | Added developers decumentation. Targets: documenta |
|
||
|
etc
|
35 | 16 years ago | jean | Synced from buildsystem; cosmetic changes |
|
||
|
lib
|
531 | 2 years ago | Jean-Vincent Loddo | Major change (#2): code restructured in order to c |
|
||
|
Makefile.d
|
147 | 15 years ago | jean | Update of the buildsystem in order to be able to g |
|
||
|
RPMS
|
201 | 15 years ago | jean | ease_package_creation Just small changes to ease p |
|
||
|
test
|
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c |
|
||
|
uml
|
342.1.1 | 13 years ago | Luca Saiu | Added the ghostification stuff which was written a |
|
||
|
useful-scripts
|
42 | 16 years ago | jean | Added the directory useful-scripts, with Jean-Vinc |
|
||
AUTHORS |
2 | 16 years ago | jean | Synced build system from the buildsystem project. | 1017 bytes |
|
|
|
CONFIGME |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 3.9 KB |
|
|
CONFIGME.choice
|
535 | 1 year ago | Jean-Vincent Loddo | Minor changes in the Makefile in order to allow ro | . |
|
|
CONFIGME.testing.sh |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 3.4 KB |
|
|
|
COPYING |
1 | 16 years ago | jean | Re-created the repository. This new repository onl | 17.5 KB |
|
|
|
dune-project |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 1.3 KB |
|
|
|
Makefile |
535 | 1 year ago | Jean-Vincent Loddo | Minor changes in the Makefile in order to allow ro | 12.1 KB |
|
|
|
META |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 135 bytes |
|
|
|
THANKS |
2 | 16 years ago | jean | Synced build system from the buildsystem project. | 2.1 KB |
|
|