parsav  Diff

Differences From Artifact [af9c45003f]:

• File config.lua — part of check-in [c43a1b6e9d] at 2021-01-14 17:37:19 on branch trunk — circle management complete (user: lexi, size: 8142) [annotate] [blame] [check-ins using]

To Artifact [cba33505b3]:

• File config.lua — part of check-in [d248dc5965] at 2021-01-19 22:02:23 on branch trunk — add dist mechanism (user: lexi, size: 8145) [annotate] [blame] [check-ins using]

    28     28   		os.getenv('NIX_PATH')  and 'nixos',
    29     29   		os.getenv('NIX_STORE') and 'nixos',
    30     30   	''));
    31     31   	tgttrip   = default('parsav_arch_triple'); -- target triple, used in xcomp
    32     32   	tgtcpu    = default('parsav_arch_cpu'); -- target cpu, used in xcomp
    33         -	tgthf     = u.tobool(default('parsav_arch_armhf',true)); 
           33  +	-- tgthf     = u.tobool(default('parsav_arch_armhf',true)); 
    34     34   	doc       = {
    35     35   		online  = u.tobool(default('parsav_online_documentation',true)); 
    36     36   		offline = u.tobool(default('parsav_offline_documentation',true)); 
    37     37   	};
    38     38   	outform   = default('parsav_emit_type', 'o');