devitopro[extras]

Author: jkwashbourne

deps/build.jl

@@ -76,10 +76,6 @@ try
         # cmd_args = String["./install-devitopro.sh"]
         # run(Cmd(cmd_args))
 
-        # Install devito[extras,tests]
-        # @info("Install devito[extras,tests]")
-        # pip("$(dir)/submodules/devito[extras,tests]")
-
         # Install devitopro
         @info("Install devitopro[extras]")
         pip("$(dir)[extras]")