elba 0.3.0

elba is a package manager for Idris
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

use super::{args, get};
use clap::{App, Arg, ArgMatches, SubCommand};
use elba::{
    cli::build,
    util::{config::Config, errors::Res, shell::Verbosity},
};
use failure::{format_err, ResultExt};
use std::env::current_dir;

pub fn cli() -> App<'static, 'static> {
    SubCommand::with_name("repl")
        .about("Launches a repl, loading the root package")
        .arg(args::build_threads())
        .arg(args::target_bin())
        .arg(args::target_lib())
        .arg(args::offline())
        .arg(args::debug_log())
        .arg(args::idris_opts())
        .arg(
            Arg::with_name("ide-mode")
                .long("ide-mode")
                .help("Launches the interactive IDE backend instead of a normal REPL"),
        )
        .arg(
            Arg::with_name("ide-mode-socket")
                .long("ide-mode-socket")
                .conflicts_with("ide-mode")
                .help("Launches the IDE socket backend"),
        )
        .args(&args::backends())
}

pub fn exec(c: &mut Config, args: &ArgMatches) -> Res<String> {
    let project = current_dir().context(format_err!(
        "couldn't get current dir; doesn't exist or no permissions..."
    ))?;

    let ts = (
        args.is_present("lib"),
        args.values_of("bin").map(|x| x.collect::<Vec<_>>()),
    );

    let interactivity = if args.is_present("ide-mode") {
        c.verbosity(Verbosity::None);
        build::Interactivity::IDE
    } else if args.is_present("ide-mode-socket") {
        c.verbosity(Verbosity::None);
        build::Interactivity::Socket
    } else {
        build::Interactivity::Normal
    };

    let backend = get::backends(c, args);
    let ctx = get::build_ctx(c, args);

    build::repl(&ctx, &project, &ts, &backend, interactivity)
}