Move Network code to contrib

2024-11-15 01:25:05 +03:00 · 2015-03-19 11:09:27 +01:00 · 2015-03-19 11:09:27 +01:00 · e6c5588fcc
commit e6c5588fcc
parent 059dafbe6c
4 changed files with 1 additions and 3 deletions
--- a/idris.cabal
+++ b/idris.cabal
@ -106,7 +106,6 @@ Extra-source-files:
                       libs/base/Debug/*.idr
                       libs/base/Language/Reflection/*.idr
                       libs/base/Makefile
-                       libs/base/Network/*.idr
                       libs/base/System/*.idr
                       libs/base/System/Concurrency/*.idr
                       libs/base/Syntax/*.idr
--- a/libs/base/base.ipkg
+++ b/libs/base/base.ipkg
@ -3,7 +3,6 @@ package base
 opts = "--nobasepkgs --total -i ../prelude"
 modules = System,

-          Network.Socket,
          Debug.Error, Debug.Trace,

          System.Info,
--- a/libs/contrib/Network/Socket.idr
+++ b/libs/contrib/Network/Socket.idr
--- a/libs/contrib/contrib.ipkg
+++ b/libs/contrib/contrib.ipkg
@ -6,6 +6,6 @@ modules = Data.Fun, Data.Rel, Data.Buffer,

          Decidable.Decidable, Decidable.Order,

-          Network.Cgi,
+          Network.Cgi, Network.Socket

          System.Concurrency.Process