blob: 3e8500ffb63ffc4d4e45c75050a2e35160235645 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
Test multiple file support when files are distributed over
different directories.
Dependency graph
a/a.v
\
\
b/b1.v --- b/b2.v
\
\
c/c.v
That is, c depends on b2, which depends on b1, which depends on
a.
Script c.v and watch the compilation messages in *Messages*.
Touch any file and retract and assert the Require in c.
|