diff options
Diffstat (limited to 'src/algebra/Makefile.in')
-rw-r--r-- | src/algebra/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index a520dce5..28826e1b 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -493,6 +493,7 @@ axiom_algebra_layer_4_objects = \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_4))) $(OUT)/KERNEL.$(FASLEXT): $(OUT)/KERNEL2.$(FASLEXT) +$(OUT)/DVARCAT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) axiom_algebra_layer_5 = \ CHARNZ DVARCAT DVARCAT- ELEMFUN \ |