git.iko.soy/Idris-dev
on master help sign in
Moved libraries around, removed 'effects' flag
40924dcEdwin Brady
Makefile+1−3
compare with master
unifiedsplit
@@ -28,9 +28,7 @@ test_all:
28 $(MAKE) test_java
28 $(MAKE) test_java
29
29
30lib_clean:
30lib_clean:
31− $(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
31+ $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean
32− $(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
33− $(MAKE) -C javascript IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
34
32
35relib: lib_clean
33relib: lib_clean
36 $(CABAL) install $(CABALFLAGS)
34 $(CABAL) install $(CABALFLAGS)
Setup.hs+5−18
@@ -26,9 +26,9 @@ import qualified Data.Text.IO as TIO
26-- make on mingw32 exepects unix style separators
26-- make on mingw32 exepects unix style separators
27#ifdef mingw32_HOST_OS
27#ifdef mingw32_HOST_OS
28(<//>) = (Px.</>)
28(<//>) = (Px.</>)
29−idrisCmd local = Px.joinPath $ splitDirectories $ ".." <//> buildDir local <//> "idris" <//> "idris"
29+idrisCmd local = Px.joinPath $ splitDirectories $ ".." <//> ".." <//> buildDir local <//> "idris" <//> "idris"
30#else
30#else
31−idrisCmd local = ".." </> buildDir local </> "idris" </> "idris"
31+idrisCmd local = ".." </> ".." </> buildDir local </> "idris" </> "idris"
32#endif
32#endif
33
33
34-- -----------------------------------------------------------------------------
34-- -----------------------------------------------------------------------------
@@ -53,13 +53,6 @@ usesLLVM flags =
53 Just False -> False
53 Just False -> False
54 Nothing -> True
54 Nothing -> True
55
55
56−usesEffects :: S.ConfigFlags -> Bool
57−usesEffects flags =
58− case lookup (FlagName "effects") (S.configConfigurationsFlags flags) of
59− Just True -> True
60− Just False -> False
61− Nothing -> True
62−
63-- -----------------------------------------------------------------------------
56-- -----------------------------------------------------------------------------
64-- Clean
57-- Clean
65
58
@@ -70,9 +63,7 @@ idrisClean _ flags _ _ = do
70 verbosity = S.fromFlag $ S.cleanVerbosity flags
63 verbosity = S.fromFlag $ S.cleanVerbosity flags
71
64
72 cleanStdLib = do
65 cleanStdLib = do
73− makeClean "lib"
66+ makeClean "libs"
74− makeClean "effects"
75− makeClean "javascript"
76
67
77 cleanLLVM = makeClean "llvm"
68 cleanLLVM = makeClean "llvm"
78
69
@@ -106,9 +97,7 @@ idrisBuild _ flags _ local = do
106
97
107 buildStdLib = do
98 buildStdLib = do
108 putStrLn "Building libraries..."
99 putStrLn "Building libraries..."
109− makeBuild "lib"
100+ makeBuild "libs"
110− when (usesEffects $ configFlags local) $ makeBuild "effects"
111− makeBuild "javascript"
112 where
101 where
113 makeBuild dir = make verbosity [ "-C", dir, "build" , "IDRIS=" ++ idrisCmd local]
102 makeBuild dir = make verbosity [ "-C", dir, "build" , "IDRIS=" ++ idrisCmd local]
114
103
@@ -128,9 +117,7 @@ idrisInstall verbosity copy pkg local = do
128
117
129 installStdLib = do
118 installStdLib = do
130 putStrLn $ "Installing libraries in " ++ target
119 putStrLn $ "Installing libraries in " ++ target
131− makeInstall "lib" target
120+ makeInstall "libs" target
132− when (usesEffects $ configFlags local) $ makeInstall "effects" target
133− makeInstall "javascript" target
134
121
135 installRTS = do
122 installRTS = do
136 let target' = target </> "rts"
123 let target' = target </> "rts"
idris.cabal−4
@@ -284,10 +284,6 @@ source-repository head
284 type: git
284 type: git
285 location: git://github.com/idris-lang/Idris-dev.git
285 location: git://github.com/idris-lang/Idris-dev.git
286
286
287−Flag Effects
288− Description: Build the effects package
289− Default: True
290−
291Flag LLVM
287Flag LLVM
292 Description: Build the LLVM backend
288 Description: Build the LLVM backend
293 Default: False
289 Default: False
lib/Builtins.idr → libs/base/Builtins.idrrenamed

The content is the same.

lib/Control/Arrow.idr → libs/base/Control/Arrow.idrrenamed

The content is the same.

lib/Control/Catchable.idr → libs/base/Control/Catchable.idrrenamed

The content is the same.

lib/Control/Category.idr → libs/base/Control/Category.idrrenamed

The content is the same.

lib/Control/IOExcept.idr → libs/base/Control/IOExcept.idrrenamed

The content is the same.

lib/Control/Monad/Identity.idr → libs/base/Control/Monad/Identity.idrrenamed

The content is the same.

lib/Control/Monad/RWS.idr → libs/base/Control/Monad/RWS.idrrenamed

The content is the same.

lib/Control/Monad/Reader.idr → libs/base/Control/Monad/Reader.idrrenamed

The content is the same.

lib/Control/Monad/State.idr → libs/base/Control/Monad/State.idrrenamed

The content is the same.

lib/Control/Monad/Writer.idr → libs/base/Control/Monad/Writer.idrrenamed

The content is the same.

lib/Data/Bits.idr → libs/base/Data/Bits.idrrenamed

The content is the same.

lib/Data/BoundedList.idr → libs/base/Data/BoundedList.idrrenamed

The content is the same.

lib/Data/Complex.idr → libs/base/Data/Complex.idrrenamed

The content is the same.

lib/Data/Floats.idr → libs/base/Data/Floats.idrrenamed

The content is the same.

lib/Data/HVect.idr → libs/base/Data/HVect.idrrenamed

The content is the same.

lib/Data/Mod2.idr → libs/base/Data/Mod2.idrrenamed

The content is the same.

lib/Data/Morphisms.idr → libs/base/Data/Morphisms.idrrenamed

The content is the same.

lib/Data/Sign.idr → libs/base/Data/Sign.idrrenamed

The content is the same.

lib/Data/SortedMap.idr → libs/base/Data/SortedMap.idrrenamed

The content is the same.

lib/Data/SortedSet.idr → libs/base/Data/SortedSet.idrrenamed

The content is the same.

lib/Data/Vect.idr → libs/base/Data/Vect.idrrenamed

The content is the same.

lib/Data/Vect/Quantifiers.idr → libs/base/Data/Vect/Quantifiers.idrrenamed

The content is the same.

lib/Data/ZZ.idr → libs/base/Data/ZZ.idrrenamed

The content is the same.

lib/Debug/Trace.idr → libs/base/Debug/Trace.idrrenamed

The content is the same.

lib/Decidable/Decidable.idr → libs/base/Decidable/Decidable.idrrenamed

The content is the same.

lib/Decidable/Equality.idr → libs/base/Decidable/Equality.idrrenamed

The content is the same.

lib/Decidable/Order.idr → libs/base/Decidable/Order.idrrenamed

The content is the same.

lib/IO.idr → libs/base/IO.idrrenamed

The content is the same.

lib/Language/Reflection.idr → libs/base/Language/Reflection.idrrenamed

The content is the same.

lib/Language/Reflection/Errors.idr → libs/base/Language/Reflection/Errors.idrrenamed

The content is the same.

lib/Language/Reflection/Utils.idr → libs/base/Language/Reflection/Utils.idrrenamed

The content is the same.

lib/Makefile → libs/base/Makefilerenamed

The content is the same.

lib/Network/Cgi.idr → libs/base/Network/Cgi.idrrenamed

The content is the same.

lib/Prelude.idr → libs/base/Prelude.idrrenamed

The content is the same.

lib/Prelude/Algebra.idr → libs/base/Prelude/Algebra.idrrenamed

The content is the same.

lib/Prelude/Applicative.idr → libs/base/Prelude/Applicative.idrrenamed

The content is the same.

lib/Prelude/Bits.idr → libs/base/Prelude/Bits.idrrenamed

The content is the same.

lib/Prelude/Cast.idr → libs/base/Prelude/Cast.idrrenamed

The content is the same.

lib/Prelude/Chars.idr → libs/base/Prelude/Chars.idrrenamed

The content is the same.

lib/Prelude/Either.idr → libs/base/Prelude/Either.idrrenamed

The content is the same.

lib/Prelude/Fin.idr → libs/base/Prelude/Fin.idrrenamed

The content is the same.

lib/Prelude/Foldable.idr → libs/base/Prelude/Foldable.idrrenamed

The content is the same.

lib/Prelude/Functor.idr → libs/base/Prelude/Functor.idrrenamed

The content is the same.

lib/Prelude/Heap.idr → libs/base/Prelude/Heap.idrrenamed

The content is the same.

lib/Prelude/List.idr → libs/base/Prelude/List.idrrenamed

The content is the same.

lib/Prelude/Maybe.idr → libs/base/Prelude/Maybe.idrrenamed

The content is the same.

lib/Prelude/Monad.idr → libs/base/Prelude/Monad.idrrenamed

The content is the same.

lib/Prelude/Nat.idr → libs/base/Prelude/Nat.idrrenamed

The content is the same.

lib/Prelude/Stream.idr → libs/base/Prelude/Stream.idrrenamed

The content is the same.

lib/Prelude/Strings.idr → libs/base/Prelude/Strings.idrrenamed

The content is the same.

lib/Prelude/Traversable.idr → libs/base/Prelude/Traversable.idrrenamed

The content is the same.

lib/Prelude/Vect.idr → libs/base/Prelude/Vect.idrrenamed

The content is the same.

lib/Providers.idr → libs/base/Providers.idrrenamed

The content is the same.

lib/System.idr → libs/base/System.idrrenamed

The content is the same.

lib/System/Concurrency/Process.idr → libs/base/System/Concurrency/Process.idrrenamed

The content is the same.

lib/System/Concurrency/Raw.idr → libs/base/System/Concurrency/Raw.idrrenamed

The content is the same.

lib/Uninhabited.idr → libs/base/Uninhabited.idrrenamed

The content is the same.

lib/base.ipkg → libs/base/base.ipkgrenamed

The content is the same.

effects/Effect/Exception.idr → libs/effects/Effect/Exception.idrrenamed

The content is the same.

effects/Effect/File.idr → libs/effects/Effect/File.idrrenamed

The content is the same.

effects/Effect/Memory.idr → libs/effects/Effect/Memory.idrrenamed

The content is the same.

effects/Effect/Random.idr → libs/effects/Effect/Random.idrrenamed

The content is the same.

effects/Effect/Select.idr → libs/effects/Effect/Select.idrrenamed

The content is the same.

effects/Effect/State.idr → libs/effects/Effect/State.idrrenamed

The content is the same.

effects/Effect/StdIO.idr → libs/effects/Effect/StdIO.idrrenamed

The content is the same.

effects/Effects.idr → libs/effects/Effects.idrrenamed

The content is the same.

effects/Makefile → libs/effects/Makefilerenamed

The content is the same.

effects/effects.ipkg → libs/effects/effects.ipkgrenamed+1−1
@@ -1,6 +1,6 @@
1package effects
1package effects
2
2
3−opts = "-i ../lib"
3+opts = "-i ../base"
4modules = Effects,
4modules = Effects,
5 Effect.Exception, Effect.File, Effect.State,
5 Effect.Exception, Effect.File, Effect.State,
6 Effect.Random, Effect.StdIO, Effect.Select,
6 Effect.Random, Effect.StdIO, Effect.Select,
javascript/JavaScript.idr → libs/javascript/JavaScript.idrrenamed

The content is the same.

javascript/JavaScript/JSON.idr → libs/javascript/JavaScript/JSON.idrrenamed

The content is the same.

javascript/Makefile → libs/javascript/Makefilerenamed

The content is the same.

javascript/javascript.ipkg → libs/javascript/javascript.ipkgrenamed+1−1
@@ -1,5 +1,5 @@
1package javascript
1package javascript
2
2
3−opts = "-i ../lib"
3+opts = "-i ../base"
4modules = JavaScript, JavaScript.JSON
4modules = JavaScript, JavaScript.JSON
5
5