diff options
| author | Théo Zimmermann | 2018-09-26 13:12:46 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-26 13:12:46 +0200 |
| commit | 8292c485bde7911bf8a4d626faf9292ba0016e97 (patch) | |
| tree | 7c405894abe205031c0b0d9c4410a13a1efe38a6 /Makefile.dev | |
| parent | b7cd70b5732d43280fc646115cd8597f2e844f95 (diff) | |
| parent | a1f10626bed1db14ce116e9201ed05dadfc366b4 (diff) | |
Merge PR #8419: Remove romega in favor of lia
Diffstat (limited to 'Makefile.dev')
| -rw-r--r-- | Makefile.dev | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.dev b/Makefile.dev index 2a7e61126a..82b81908ac 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -169,7 +169,6 @@ noreal: unicode logic arith bool zarith qarith lists sets fsets \ ################ OMEGAVO:=$(filter plugins/omega/%, $(PLUGINSVO)) -ROMEGAVO:=$(filter plugins/romega/%, $(PLUGINSVO)) MICROMEGAVO:=$(filter plugins/micromega/%, $(PLUGINSVO)) RINGVO:=$(filter plugins/setoid_ring/%, $(PLUGINSVO)) NSATZVO:=$(filter plugins/nsatz/%, $(PLUGINSVO)) @@ -181,7 +180,7 @@ CCVO:= DERIVEVO:=$(filter plugins/derive/%, $(PLUGINSVO)) LTACVO:=$(filter plugins/ltac/%, $(PLUGINSVO)) -omega: $(OMEGAVO) $(OMEGACMO) $(ROMEGAVO) $(ROMEGACMO) +omega: $(OMEGAVO) $(OMEGACMO) micromega: $(MICROMEGAVO) $(MICROMEGACMO) $(CSDPCERT) setoid_ring: $(RINGVO) $(RINGCMO) nsatz: $(NSATZVO) $(NSATZCMO) |