Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-28 01:53:48 +08:00
Code Issues Actions 30 Packages Projects Releases Wiki Activity

[modules][ocaml] implement module dependency (#2669)

Browse Source 
- support depends, conflicts and provides nodes, all under a 'dep' node
- autoload are kept for now and are not moved yet
- modules are updated for new dep format
- it is now required that module's name and filename are the same
This commit is contained in:
Gautier Hattenberger
2021-03-16 17:47:34 +01:00
committed by GitHub
parent 97fa1d73ac
commit e4d9e10492
149 changed files with 589 additions and 284 deletions
Download Patch File Download Diff File Expand all files Collapse all files
conf/modules/imu_quality_assessment.xml
+1 -1
View File
@@ -1,6 +1,6 @@
<!DOCTYPE module SYSTEM "module.dtd">
<module name="benchmark">
<module name="imu_quality_assessment" dir="benchmark">
<doc>
<description>
Give comparable with IMU Health information.