File tree Expand file tree Collapse file tree 2 files changed +2
-1
lines changed Expand file tree Collapse file tree 2 files changed +2
-1
lines changed Original file line number Diff line number Diff line change 1
1
name = " HomalgProject"
2
2
uuid = " 50bd374c-87b5-11e9-015a-2febe71398bd"
3
3
authors = [" Mohamed Barakat <mohamed.barakat@uni-siegen.de>" ]
4
- version = " 0.1.3 "
4
+ version = " 0.1.4 "
5
5
6
6
[deps ]
7
7
GAP = " c863536a-3901-11e9-33e7-d5cd0df7b904"
Original file line number Diff line number Diff line change @@ -30,6 +30,7 @@ function __init__()
30
30
current_value = eval (:($ i))
31
31
Base. MainInclude. eval (:($ i = $ current_value))
32
32
end
33
+ GAP. Globals. ExtendRootDirectories ( GAP. julia_to_gap ( [ GAP. Globals. UserHomeExpand ( GAP. julia_to_gap ( " ~/.gap/" ) ) ] ) )
33
34
singular = GAP. julia_to_gap (joinpath (splitdir (splitdir (pathof (Singular))[1 ])[1 ]," deps/usr/bin/" ))
34
35
lib = joinpath (splitdir (splitdir (pathof (Singular))[1 ])[1 ]," deps/usr/lib/" )
35
36
paths = GAP. Globals. Concatenation ( GAP. julia_to_gap ( [ singular ] ), GAP. Globals. GAPInfo. DirectoriesSystemPrograms )
You can’t perform that action at this time.
0 commit comments