See https://www.build-business-websites.co.uk/set-path-environment-variable-windows-powershell/
(Get-ItemProperty -Path 'Registry::HKEY_LOCAL_MACHINE\System\CurrentControlSet\Control\Session Manager\Environment' -Name PATH).Path
# originally from @ueliwechsler | |
# ------------------------------------ | |
# this file should be loaded into `MathematicalSystems/src/macros.jl` | |
using MacroTools # for the @capture macro | |
using InteractiveUtils # for subtypes | |
export @system |
using MathematicalSystems, LazySets, Test | |
# ======== | |
# Setup | |
# ======== | |
n = 3; m = 2; l = 3 | |
A = A1 = rand(n,n) | |
b = b1 = rand(n) | |
B = B1 = rand(n,m) |
using LazySets, TaylorModels | |
import IntervalArithmetic | |
const IA = IntervalArithmetic | |
const zeroI = IA.Interval(0.0) # [0.0, 0.0] | |
const oneI = IA.Interval(1.0) # [1.0, 1.0] | |
const symI = IA.Interval(-1.0, 1.0) | |
@inline zeroBox(m) = IntervalBox(zeroI, m) | |
@inline symBox(m) = IntervalBox(symI, m) |
See https://www.build-business-websites.co.uk/set-path-environment-variable-windows-powershell/
(Get-ItemProperty -Path 'Registry::HKEY_LOCAL_MACHINE\System\CurrentControlSet\Control\Session Manager\Environment' -Name PATH).Path
julia> compile_package("CDDLib", force = false) | |
Updating registry at `~/.julia/registries/General` | |
Updating git-repo `https://github.com/JuliaRegistries/General.git` | |
┌ Warning: Some registries failed to update: | |
│ — /Users/forets/.julia/registries/General — failed to fetch from repo | |
└ @ Pkg.Types /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/stdlib/v1.1/Pkg/src/Types.jl:1269 | |
Resolving package versions... | |
Updating `~/.julia/packages/PackageCompiler/oT98U/packages/CDDLib/Project.toml` | |
[b99e7846] + BinaryProvider v0.5.4 | |
[d9be37ee] + Homebrew v0.7.1 |
```julia | |
$ cat Manifest.toml | |
# This file is machine-generated - editing it directly is not advised | |
[[ARCH2018_RE]] | |
deps = ["BenchmarkTools", "LinearAlgebra", "MAT", "PkgBenchmark", "SparseArrays"] | |
path = "/Users/forets/.julia/dev/ARCH2018_RE" | |
uuid = "e3d1bd10-b34e-537f-8d3c-e8e875181a5a" | |
version = "0.0.0" |
```julia | |
Verimags-MBP:Reachability forets$ julia6 | |
_ | |
_ _ _(_)_ | A fresh approach to technical computing | |
(_) | (_) (_) | Documentation: https://docs.julialang.org | |
_ _ _| |_ __ _ | Type "?help" for help. | |
| | | | | | |/ _` | | | |
| | |_| | | | (_| | | Version 0.6.4 (2018-07-09 19:09 UTC) | |
_/ |\__'_|_|_|\__'_| | Official http://julialang.org/ release | |
|__/ | x86_64-apple-darwin14.5.0 |
(v1.1) pkg> status | |
Status `~/.julia/environments/v1.1/Project.toml` | |
[e3d1bd10] ARCH2018_RE v0.0.0 [`~/.julia/dev/ARCH2018_RE`] | |
[1de812f4] AffineArithmetic v0.0.0 [`~/.julia/dev/AffineArithmetic`] | |
[6e4b80f9] BenchmarkTools v0.4.2+ #master (https://github.com/JuliaCI/BenchmarkTools.jl.git) | |
[afc6e731] BernsteinExpansions v0.0.0 [`~/.julia/dev/BernsteinExpansions`] | |
[ad839575] Blink v0.10.1 | |
[3391f64e] CDDLib v0.4.1 | |
[336ed68f] CSV v0.4.3 | |
[159f3aea] Cairo v0.5.6 |
$ git diff | |
diff --git a/REQUIRE b/REQUIRE | |
index ba1d010..87bc2e0 100644 | |
--- a/REQUIRE | |
+++ b/REQUIRE | |
@@ -4,3 +4,4 @@ TaylorSeries v0.8.1 | |
IntervalArithmetic v0.15.1 | |
TaylorIntegration v0.4.0 | |
RecipesBase |